A module for type checking of arguments passed to functions at runtime.
Functions:
get_type_error_message
Get the error message for a type error.