A performant type-checker for Python 3.