Separate constant folding into .fold()
Bugfix
Bugfix
Start adding ±
Support solving for multiple instances of a symbol

Also fixes some bugs and removes some cruft