Added Witness type selector
Allowed literal types in Record/Union type selectors, and empty records/unions
Added HList and Coproduct type selectors
Removed unused argument of ZipWithKeys dependent functions
Added argument-less zipWithKeys overloads