Enhancement: add associative law to Expr