add _unevaluated_Mul to mul.py and modify _unevaluated_Add
align code and inline comments
use minpoly as fallback for radsimp; watch for Numbers