Add working draft of HKTs RFC