Version 2, picking up on an idea of Adriaan.
Fixed typos
fixed typos
Sync with implementation

Adapted docs so that they reflect what has been implemented.
Merge pull request #135 from dotty-staging/docs/higher-kinded-v2

Docs/higher kinded v2