Move algebra stuff from linear_maps to invariant
Prove a few basic vector space facts I neglected to prove earlier
Begin redoing all of the polynomial stuff in terms of formal polynomials. Still need to prove the new division theorem and prove polynomial mult is assoc.