Introduce a way to construct Range from start + length

cuviper:

(start..).with_len(count)

(start..)[..count]

(but then do we have to allow (start..)[4] i.e. start + 4 or is it just disallowed? Anyway spitballing)