Exercise 2.92: By imposing an ordering on
variables, extend the polynomial package so that addition and multiplication of
polynomials works for polynomials in different variables. (This is not easy!)
