Docs/higher kinded v2

Adds the higher-kinded schema to the docs.

Review by @DarkDimius @samuelgruetter 
Should "don't allow the definition of *type members*" be "... *parameterized type definitions*"?