add typing.py from mypy