Proof derivation elaboration for superclasses
Note: types are not yet instanciated during dictionary elaboration