Fixed some questionable printing/parsing logic about PNeg
Clarified and fixed some FIXMEs