- cleaned up and simplified the code a bit
- added a first generic test for pretty printing
- fixed a bug in the pretty printing test