Editing Comparing class alias proposals (section)

=== Class alias or context synonym? ===

Can class aliases as used above be read as "context synonyms"?

Clearly there are many differences between the two. Their intended uses are originally different. Should they be two different things instead?

Class aliases (in the case of writing instances of them) seem like a strict subset of context synonyms. If class aliases are to piggyback on context synonyms, then we need to think carefully about what form such a context synonym should have for instances to make sense.