Expresses isomorphic and injective relations between types.