Laws are not prominent enough in Haddocks for Divisible and Conquered

[quasicomputational]

The current Haddocks have an intuition-based description of Divisible and Conquered attached to those types, and then a mathematical treatment in a separate section below. However, the laws that the typeclasses must follow are only described in the free-floating lower section and are not specifically attached to their typeclasses. I think this makes the laws too easy to over-look and lose (e.g., by re-exports), and that they are too important to be relegated to a secondary description below the scrolling fold.