Removed commented-out, unused hoistautoI, hoistendoI and friends
Polished documentation

In particular:

 * I made everything that could possibly be a link into a link. Links everywhere. To the glossary, to external packages, to tokens, everything.

 * I replaced the header section of all the Monad.* modules with a slightly more human-readable description of their overall contents, without all the type signatres.

 * Various other tweaks and fixes for inconsistencies I spotted along the way.