Started working on pretty-printer
A bunch of pretty-printer work
More work on pretty-printer
Finished naive printer; started on instances
More Pretty instances
More Pretty instances
Finished Pretty instances
Updated todo list