Move section on Rlim of modules to More on Algebra
Cleanup section on Rlim modules