Run-time type checker for Python
