doc tweaks to expr_with_limits
Enabled subs of undefined functions in Sum, Product, Integral

- included simple tests