Supertypes

When you merge a type from one tree to another, the supertypes of that type are created. In the example above, notice that Detail's supertype, Record, is included in the copied types.