Major improvements

Simplify is now able to simplify terms like x - (x - y) to y. Some other
things, too.