This patch adds two more SymbolData subclasses: SymIntExpr and SymSymExpr, for representing symbolic expressions like 'x'+3 and 'x'+'y'. Currently we represent them with SymIntConstraint, but they are not 'constraints' really. Current constraint managers cannot reason about such symbolic expressions. Adding them opens the door for more powerful constraint managers.<br>
<br>Theoretically they can represent most of the symbolic expressions (recursively). No algebraic simplification function is implemented. Such functionality is planned to be placed in new constraint managers.<br>