Add rough version of consolidated pretty-printer.

It compiles, and works for _very_ simple cases. It also ignores
annotations for the moment, that needs to be fixed.