Type annotations for Python