Finished implementation of Negation (#17). Need tests before closing
issue (DoD!).