"fix" the SI==3 case in rintegers and add the missing bits in rmodulon
again
Try a short patch to keep it simple
re-stablish the Order module. Containing also a 1st draft for lattices
Merge pull request #1 from fieker/claus_new

Claus new