[Python-Dev] Re: Should Python typing leverage PEP 263 as a pre-processor step?