Introduced Sum and concretization of expressions

Solving will be done in 2 passes:
- inject scope and get rid of Sum elements
- solve
New set of rules: ForAllChildren