Implemented some rudimentary pretty printing