Add negation and simple arithmetics