Change negation of TermExp. Implement negation of variables..