Add more convoluted simplify rules for addition
Remove unused swap-sign function

In favor of the hackity hack
Let simplify handle minus
Convert division to proper multiplication
Get rid of spurious parens
Add functions for string output
Remove subsequence

Use a binding for the value instead
Trim ends of string properly