A rudimentary type checking library for python.