let sigma op l =
  match op, l with
    | Expt(n), [x] -> mk_expt n x
    | Mult, xl -> mk_multl xl
    | _ -> assert false