Fixed some pieces of negation

added a more general 'normalize' method
works for + and - categories.