Fixed bug causing desynchronization of logical/graphical model explorers
Some refactorings in models
Added explosions undo/redo;
Some fixes for undo stack
Added some explosions renaming functionality