#5 Add a general instance based off a newtype around something with a FiniteBits instance

We can enumerate something like that without having maths operations available. Some kind of Gray code, or ranking-unranking ops, might be just the ticket here.

This is actually not possible, as we can't promote finiteBitSize in the context of an associated type, possibly at all, and definitely without something like singletons.