Added polymorphic type in Caml, not yet sure.
Make type of pretty printer private. Add runPP instead.
Wording.
Sometimes, verbosity is ok.
ZimtPrinter bare bones.
TODO.md added