automaticly distribute ExprWithLimits across Eq's

- add new test