Implemented the super/subtype handlers