It's not like we're using Nat computationally, but for god's sake
Document Nat
Document some type families
Remove redundant import
Derive Storable for Identity, Compose, Const