multiplication leaves unevaluated Mul as Mul, not Add

This fixes issue 3798, too.