Attached is my second draft of PEP 649.  The PEP and the prototype have both seen a marked improvement since round 1 in January; PEP 649 now allows annotations to refer to any variable they could see under stock semantics:

• Local variables in the current function scope or in enclosing function scopes become closures and use LOAD_DEFER.
• Class variables in the current class scope are made available using a new mechanism, in which the class dict is attached to the bound annotation function, then loaded into f_locals when the annotation function is run.  Thus permitting LOAD_NAME opcodes to function normally.
  

I look forward to your comments,

/arry