Introduce a way to construct Range from start + length

It would also be nice for it to participate in match exhaustiveness checking! |x: u8| match x { 0..+128 => "small", 128..+32 => "medium", 160.. => "large" }