[Python-Dev] What's missing in PEP-484 (Type hints)