Added disjuntionIntro and deMorgan transforms.  Enabled parsing for multiple negations.