Copyediting pass; some clarifications.
Copyediting pass; some clarifications.

S11001001/typelevel.github.com,typelevel/typelevel.github.com,S11001001/typelevel.github.com,melrief/typelevel.github.com,melrief/typelevel.github.com,typelevel/typelevel.github.com,S11001001/typelevel.github.com,typelevel/typelevel.github.com,melrief/typelevel.github.com,S11001001/typelevel.github.com,melrief/typelevel.github.com