Insert new proofstep functions and example proofs

* new proof-step-foreward
* new proof-step-backward
* proof-step is private now
* new example proof