Add HSet
Try again with Hudson workaround
Enhance `nthnext` to understand HSequential inputs
`nthnext` now properly refines a union of HSequentials
`nthnext` of nil always returns nil