Docs/higher kinded v2

Adds the higher-kinded schema to the docs.

Review by @DarkDimius @samuelgruetter 
Why do you need to bind self1/self2? You didn't in the first example, and they seem equivalent. Shouldn't this be consistent? Or is there some subtle difference?