Class definitions of multivariate polynomials.
The polynomials are immutable data types, under the public API. If one tries to manipulate its underlying data attributes, immutability will be able to be broken.
The module structures are parallel for univar/uniutil and multivar/multiutil.