* Dumper now outputs negated values properly.
* Simplifier.HasOnlyLiterals and Simplifier.GetCommonBinaryConnectiveType are moved under PropositionArray.