`nthnext` now properly refines a union of HSequentials