+ Removed concept of normalization - now happens immediately when expression is created
+ Removed CoefficientExpression, now implicit in ProductExpression