Validates any number of arguments by checking if their are
of desired type.
Arguments are expected to be mappings containing the value candidates
on the left side and types on the right side.
| Throws |
BadArgument -
if any of candidate values didn't match the requested type
|
anvil
