Initial Review of HKTs RFC

Comments welcome!
As above my intention was to have them be Scala style `F<_>`, inference is certainly on the table, it just makes this a bigger change.