let (=?=) t1 t2 pos =
  CEquation (pos, t1, t2)