I have revised the proposal and put it on the web here:
changes include a new, clearer syntax, some typo fixes, and a new
section describing how class aliases interact with superclasses.
I will update that web page with any new devolpments.
John Meacham - ?repetae.net?john?