typeside t schema s1 : t schema s2 : t query q : s1 -> s2 ---------------------------------- transform (frozen qlambda var:entity. term : entity_or_type) : frozen q entity_or_type -> frozen q entityGiven a term in context x:E |- e : t in the target of a query, returns a transform frozen t -> frozen E.