Revert "Temp"

Reverts tomikos/mypy#1