Remove unused exports
Fix typos and whitespace
Remove duplicate 'exquo' from SUP
Remove a few $Lisp calls
Rename LinearlyExplicitRingOver to LinearlyExplicitOver
Add missing dependencies
Generalize matrices
Unify Ore algebras with polynomials
Speed up compilation
Cleanup