Update HVect

Fixes the `Show` instance and replaces `findElem` with the `search` tactic in the type-directed functions.