it simplify only one expression each time
next_step method
negative of negative numbers
negative.next_step for simple expressions
next step of additions
more spec for additions
more test for additions
more tests for negative expressions