help: rewrite as parallel structures (firstly, secondly, thirdly)
Cleaning up mistakes and preliminary docs for bossLib entrypoints.
Documentation of the ``stateful rewriting system''.