add tests for typelevel Negations.
increased number of tests.