Rename assumptions: finite -> bounded, unbounded -> infinite

fixes #7943

- [ ] decide about naming (e.g. unbounded)
- [ ] change temporary variable names (e.g. bounded -> finite)
- [ ] add some references