Exercise 2.92: Redefine add-poly/mul-poly