Type Inheritance and Relational Theory (Subtypes, Supertypes, and Substitutability)