transform eval

typeside t
schema s1 : t
schema s2 : t
query q : s1 -> s2
instance i : s1
instance j : s1
transform h : i -> j
----------------------------------
transform (eval q h) : eval q i -> eval q j