automaticly distribute ExprWithLimits across Eq's

- add new test for Sum and Product