I'm still trying to debug the pretty-printer. I have made some progress, but the 'Dao.PPrint.pInline' function is still garbling output.