Initial implementation of pretty printing