rename Formula.deMorgan to Formula.nnfHelper which it really is, rename constant for "(" ")" to PARENL/PARENR, added tests for PLFormul.eval