typeside t schema s1 : t schema s2 : t query q : s1 -> s2 ---------------------------------- instance (frozen q an_entity_or_type) : s1If Q : S to T is a query and t is a T -entity, then frozen Q t is the ``frozen'' or ``canonical'' S -instance for t in Q .