Introducing "should not", "should not satisfy", "should not contain" and "should not return".

This change introduces `shouldNotBe`, `shouldNotContain`, `shouldNotSatisfy` and `shouldNotReturn` as well as the corresponding tests.

The changes compiles, but the tests were not run.