[Python-Dev] Re: The current state of typing PEPs