Changed rule structure

* :args -> :precedence and :consequence
* addepted proof-step function