Add type classes for bounded things

Instances for:
 * Nat (lower only)
 * Bits*
 * Fin (S n)