Type system extensions for programs checked with mypy
