typeside t schema s1 : t schema s2 : t instance i : s1 instance j : s1 transform h : i -> j ---------------------------------- transform (distinct h) : distinct i -> distinct jComputes the transform distinct i1 to distinct i2 from a transform from i1 to i2.