Unnecessary clause removed; some cosmetics
Added unit test for simplify

From the next release on, the testing "infrastructure" consisting of the
makefile and the template in TestSimplify.hs can/should be used to cover
all Symmath functions. Who wants to be Testing Engineer?