Introduce a way to construct Range from start + length

Old thread containing an equivalent proposal: New range operator ..+

The proposed ..+ syntax avoids the ambiguity with unary + in Rust, since it doesn't have such, nor can an number literals start with a +. However it's still ambiguous with a.. + b.