Checks if a value conforms to a given type.
Type to check for.
Value to check.
A TypeError if the check fails or null if no error.
T Type.
Checks if a value conforms to a given type.