MC/Expr: Implemnt more aggressive folding during symbol evaluation using