Types for Python