Polynomial.Monomial
type t
A monomial is represented by a multiset of variables
val degree : t -> int
degree m is the sum of the degrees of each variable
degree m