Move backward-compatibility classes into the backward-compatibility header

Should have been there in the first place.
Really only test the new Monomial... classes