Improved parentheses insertion of PLit Negative

This patch introduces a new precedence level for pretty-printing
of patterns, to allow for special case behaviour for literal patterns.
Added tests for parentheses insertion by the pretty-printer.