Reorder definitions.

In case the Ord constraint is added to Min/MaxBound.
Update the README.
Various changes.

Still not compiling, and taking ages to even tell us that.
Add BoundedInt.

It doesn’t work yet (of course), but will hopefully be a more efficient Fin/Mod.