Implemented Dumb Simplification
Implemented Dumb Simplification

Added an algorithm that makes the most obvious simplifications, but does
so in a format consistent with how I want the eventual algorithm to work.

jackfirth/herbie,jackfirth/herbie,jackfirth/herbie,jackfirth/herbie,jackfirth/herbie,jackfirth/herbie