hlists: Add toNestedTuple / fromNestedTuple

Now you can convert HLists to tuples, bringing us closer to our goal of
interfacing with LIGD.
hlists: Integrate with LIGD sort of

The type representation arguments cannot be generated by the compiler yet.