Improve output of simulator
Make output of simulator more readable, i.e.
- print names of states instead of their id-path
- improve layout of shown data (as compact as possible)
The Pretty instances may be deleted if they are impractical (for instance, due to required dependency to the state chart).