typeside t schema s1 : t schema s2 : t query q : s2 -> s1 instance i : s1 instance j : s1 transform h : i -> j ---------------------------------- transform (coeval q h) : coeval q i -> coeval q jComputes the transform from co-eval(Q,I) to co-eval(Q,J), given a transform from I to J.