typeside t schema s1 : t schema s2 : t query q1 : s1 -> s2 query q2 : s1 -> s2 ---------------------------------- transform (subseteq q1 q2) : frozen q1 Q -> frozen q2 Q