lengthen some stubs

I probably used some terms wrong, but this is a dump of most of my understanding of hoons.

(I know what `;~` does but I can't explain it without the word `monad`. Oh well.)