Initial Review of HKTs RFC

Comments welcome!
Grammar mixup; either "We enrich the type system with the notion of 'kinds'" or  "The type system is enriched with the notion of 'kinds'" (probably prefer the first; avoid passive voice!)