Updates about mypy, an optional static type checker for Python