let apply (x, b) = 
  map (fun y -> if Term.eq x y then b else y)