Would it be possible to mention "typing" somewhere in the title? If
you don't know the context, it's hard to understand that the PEP is
related to type annotation and type checks. At least just from the
title.
What do you think about "Core support for typing module and generic types"?
Another option is "Runtime mechanism to improve generics and typing module".