This allows us to manipulate polynomials of polynomials. Not sure why yet, but it could be useful to implement 2-variable polynomials.