Does mypy see any performance improvements over vanilla python (because types are static)?