let replace a x e =
  map (fun y -> if Term.eq x y then e else y) a