Split type Term.t into Term.t and Lit.t