[jhc] darcs patch: redo documentation of internals, clean u... (and 5 more)