Work on proof-step in proof.clj

* added inner-proof function in scope
* work on first condition in proof-step function