let arrow tenv t u = 
  let v = symbol tenv (TName "->") in
    TTerm (App (TTerm (App (v, t)), u))