figured because of side effects, term products are partially non-commutative which is an interesting constraint.

also, it is safe to add an optimization for the case that a factor is zero for every product produced by the left-hand side.

#devlog #nudl