Static type checker for Python
