New Terminologie

* "world" -> "proof"
* first try to make proof pure functional
* adapted the tests