I have written another short PEP that proposes some minor changes to core CPython interpreter for better support of generic types. I will be grateful for comments and suggestions:

https://www.python.org/dev/peps/pep-0560/

-- Ivan