Experimental type system extensions for programs checked with the mypy typechecker - View it on GitHub