Initial Review of HKTs RFC

Comments welcome!
Are kinds guessed by the compiler?