Changed representation of negated patterns

See #13 and #106 for discussion.

Closes #13.
Added test for pretty/exact printing new negated literal patterns
Added tests for parentheses insertion by the pretty-printer.