let maps = 
  let a = Array.create (fun _ a -> a) in
    List.iter
      (fun (i, m) -> Array.set a i m)
      [u, App.map;
       la, Arith.map;
       p, Pair.map;
       bv, Bitvector.map;
       cop, Coproduct.map;
       pprod, Pp.map;
       app, Apply.map;
       arr, Arr.map Term.is_equal;
       bvarith, Bvarith.map];
    a