Introduce a way to construct Range from start + length

That actually wouldn't work. To utilize Step, you'd have to pass by ownership internally, as the methods take Self by value. That's the only way you'd know what the end value is, but now you no longer have the start value to store.