Fixed grammar issues. Added contra-elim, notnot-elim, and a couple tests.
Explicit and user parens options appear to be working. Still need to implement minimal parens.
Added parentheses display options.