I had the full `_unevaluate_Mul` routine in a branch that is in a crashed repo...I'll factor this out like `_unevaluate_Add` and put it in mul.py.