Added Equivilence for Vars, Terms
Added Equivilence for Vars, Terms

That way simplification can determine which s-terms can be combined additively.

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