Check equality between class in the typing context of an instance.
Add elaboration inside the environment and simplify produced names (for now).
Elaborate 'let access' of class members.
Remove the bindings of members before the elaboration of class, otherwise it's binded twice.