automaticly distribute ExprWithLimits across Eq's

- add new test for Sum and Product
requested revisions
merge with master
Merge pull request #2798 from smichr/auto

Auto