Finite sets of static size.

This provides a newtype Fin containing an Int with an invariant that its value is less than its type-level Nat bound. It aims to have low overhead compared to Ints, and is suitable for use as the index type of length-indexed vectors.

fin-int

Implements size-indexed bounded natural number types as a newtype over Int.