adding SigT and an equivalence relation for HLists.
type instance for sigT.
proper hlist_app

- this unfortunately requires EqDec