Initial Review of HKTs RFC

Comments welcome!
This change complicates the type system. (No it)