Add integration test coverage for negation

re: #118
Add documentation for :negation

re: #118