Introduce a way to construct Range from start + length

I think it'd be reasonable for the length to be a usize and the start to be anything implementing Step, with a panicking version and an Option version.