The type of polynomials. They map monomials to their coefficients, which we make sure is not zero. The type of polynomials is parametrized by the type of their coefficients.

Polynomials with coefficients in a semiring, which forms a semiring

Polynomials with coefficients in a ring, which forms a ring. We also define partial euclidian division and gcd