Implement the elaboration of class definitions and instances