hlists: Rename RType to RHListIso
hligd: Introduce an LIGD variant that uses HLists

This replaces Unit with HNil, Pairs with HCons, and adds a new type
of representation for sequences of all sorts.
test: Add HLIGD