Mypy, a code-linting project created to allow static type checking in Python, has been improved to benefit larger, more complex ...