First version of rule28inv
Correct some small things
Finish rule28 inverse

This completes the rule set compared to the aldor version.
Two possible inverse Rules are still missing though.