What should we add?

In #13832, we added the first kind of type (expr.Float) to the classical expression system that can be negative. We should also add a new expr.Unary.Op kind for negation as well as an expr.negate expression constructor that allows Float-typed and possibly Duration-typed expressions to be negated.