Addition of wrappers for integration with the simplifier. New infixes setwrapper compwrapper addbefore addafter. New function getwrapper. The wrapper is a tactical that is applied to the step tactic. By default it is the identity. Using THEN one can cause other tactics to be tried before or after the step tactic. Other effects are possible using ORELSE, etc.

Defined addss to perform simplification in a claset. Precedence of addcongs is now 4 (to match that of other simplifier infixes)

removed unnecessary parentheses from the generated rules