def Array.finRange (n : Nat) : Array (Fin n)

finRange n is the array of all elements of Fin n in order.