Insert a world

* a world is the playground for one proof
* implemented a function to set the world
* implemented undo function