Introduce a way to construct Range from start + length

I would argue the exact python syntax (a[..-1]) is a footgun, it may looks ok with literals, but it's a source of bug when it's a computed value.

I won't oppose [..Rev(1)] though.