Rename LinearlyExplicitRingOver to LinearlyExplicitOver
Add missing dependencies
Generalize matrices
Unify Ore algebras with polynomials
Speed up compilation
Cleanup
Normalize 'lambertW'
Misc cleanups
Fix out of bounds index
Cleanup newpoly.spad and prs.spad