Add utility methods in the util package to detect if an Expression is a Constant or a Variable
Add new simplification patterns: Now if two constants are combined in a numeric expression, the resulting Constant result is returned rather than the expression