Fix integration with 'li'.
Fix wrong normalization in RDE.
Add package for matrix manipulation.
Update comments and documentation.
Minor cleanup.
Small cleanups.
Use fresh dummies for formal diffs.
Delete useless code.
Correct a comment.
Only request Comparable from the second argument to FreeModule.