As discussed in https://mail.python.org/pipermail/python-dev/2018-January/151605.html it seems useful to write down what an extension of PEP 567 to full "context stack" semantics would look like, even if we aren't planning to consider it for 3.7. That's what this is.