WIP on pretty-printing
Finally got pretty-printing working.