typeside t schema s : t instance i : s instance i1 : s instance i2 : s transform h : i1 -> i2 ---------------------------------- transform (except h i) : except i1 i -> except i2 iComputes the transform (except i1 i) -> (except i2 i) from a transform i1 -> i2.