Added shouldNot typeCheck syntax.