A type checking library where each exported function returns either true or false and does not throw. Also added tests.
