More docs.

If the HyperEdges aren't contained in the Compound states containing all their
next/rnext Basic states, print that this can be solved as an extension, and
ignore them in the containment check.