does pants support python 3 / mypy type checking?