It would be useful to be able of provide extra properties to the expressions, that allow
Mathematica to improve their simplification algorithms.
An existing example is the property
Integer. It could be useful to include others like
Negative, or even a sort of
In([<list of values>])
Is any of these properties currently defined?