Trivial changes to matrix code.
Made inter-dependencies explicit.
Large refactoring of simplification code. Enables more reliable loading of project.
Removed extraneous eval-when clauses.
Heavily modified abelian/monoid operator infrastructure for better generality and support for monoid operators.