Exercise 2.87: Install =zero? for
polynomials in the generic arithmetic package.  This will allow
adjoin-term to work for polynomials with coefficients that are
themselves polynomials.