A new version of typing.py from https://github.com/python/typing.