add mypy.py