Move foldl into Foldable.
Reverse parameters to BoundedList.

Matches Vect now and makes instantiating type classes easier.

Also, added instances of Foldable and Functor.
Add `mod` to Fin.