Fix documentation of NaturalTransformation.v

I'm pretty much only changing documentation here, and in minor ways, so I'll merge this once travis oks it, unless someone says otherwise before then.