simplify the expression of the negation of a type