Implemented pretty printing, closing #5