Fix documentation of NaturalTransformation.v
Merge pull request #380 from JasonGross/doc-nt

Fix documentation of NaturalTransformation.v