Run time type checker for Python
