Reorganized Documentation Section

Some of the assemble! conditions are not trivial, others are practically
unreachable (or meaningless).