Models24

Version submitted to Models'24 Artifact Evaluation. Improved documentation, some clean-up, fixed some bugs and removed unnecessary UI elements and code.