Done with 2.95?
Update polynomials to project themselves down from x to y.

I also implemented the rest of the chapter.  My changes to make 2.92
sort of work, though, broke a bunch of my other tests.  Also, I didn't
implement multiplication of polynomials in multiple variables.