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