Introduce a way to construct Range from start + length

zackw:

so clearly there is still at least some work to be done

Once those are using the new range types it'll be way easier to do something about it, since we'll be able to have the latter attempt to be the former.