Use associativity both `Mul` and `Add` to make it easier to compare equivalent `Expr`-s

[msooseth]

Need rewrite rule:

(a*b)*c => a*(b*c)

(and also for +). This will help us with deciding equality & further simplification at the Expr level.

Original observation by @zoep

[msooseth]

This is addressed by #413