Implement Sum.findrecur (with Sister Celine's algorithm)

fix #5511

- [ ] better name?
- [ ] Not sure if this should be a Sum method.  An alternative: some helper function.
> Maybe we should use them?

How?  Lower bounds can have some value here (i.e. at the line 462), but not upper.