[Python-Dev] The current state of typing PEPs