Assert that input belongs to the set of expected types.
Assert that the output has exactly the type we promised.

No change in functionality. We are now just more certain that those
functions work as intended and could be relied upon.