Environment binds an instance to a fresh identifier
"Some" progress on elaborations of instances

More planning is necessary.
TODO: Curr. implem. of class elaboration is incomplete

Superclasses are not accessible yet in the elaborated record.

More modifications of the typing context are necessary.