Module terms
Degree is a type which represents the degree of a polynomial.
Term is a type which represents a term in a polynomial.