Crap.  I'm being lazy about committing again.  Lots of changes to algebraic code; linear categories are broken.
reworked a lot of algebra stuff