PEP 747: Annotating Type Forms

(Still draft)

An attempt to be able to talk about types in the type system. This is a good example of where I think we're using “type” to refer to two different concepts: an instance of the Python runtime `type` class, and a “set of values” as described by the typing system.