A class representing simple term, a basic building block for disjunctive constraints.
Term
Term.Size – Total size of the term.