elab of expression (resolution of record) and value binding + add superclasses in record type definition. must add superclasses in record instances