that returns a range as a list. Nat wants a sublis...
# stdlib
j
that returns a range as a list. Nat wants a sublist of the original list using the range as indices