Initial Review of HKTs RFC

Comments welcome!
Maybe say something about using simple kinds as the design for rust