When trying to run basic examples from a virtualenv, I get this error caused by the local types.py module taking precedent over python's builtin types module.

Mypy currently handles module re-exports in stub files the same way it handles them with regular Python files. That is, any symbol imported at the global level is available for re-export.