Implement NOT and refactor NEG.