fix some conflicts in allPP.sml

these looked easy, but the ones in astPP.sml will need Yong Kiam to look
at them