Add a SubrangeMapper helper class which maps a _subrange_ of src range to its counterpart in dst range, if possible.

Add a SubrangeMapper helper class which maps a _subrange_ of src range to its counterpart in dst range, if possible. #4443