Common sense simplifications of equations involving variables

[Mercerenies]

There are lots of simplifications we should be able to perform to simple equations.

See also #39 and #40