Document All The Things (At Once)

This should be enough to get us by for now.

I'm going to make it a hard requirement from now on that pull requests contributing significant new functionality come with documentation.
It just seems to simplistic.  Kind of like we're implying Functors are Boxes, and ye gods that's the opposite of what I want.