let rec term_to_string x =
  match x with
  | Const n -> string_of_int n
        (* FIXME: should work for things besides constants *)
  | _ -> " * "