fix(Effect): add Refinement narrowing support for retry while option

[lihan3238]

Summary

Adds Refinement-based type narrowing for the while option in Effect.retry, symmetric with the existing until narrowing.

When while receives a Refinement<E, E2>, the output error type is now narrowed to Exclude<E, E2> — the errors that cause while to return false and pass through.

Closes #6122

Test plan

• Verify that type narrowing works correctly with while + Refinement
• Verify existing until narrowing is unchanged
• Verify behavior without Refinement is unchanged (still returns full E)

[changeset-bot]

⚠️ No Changeset found

Latest commit: 1fc17a2

Merging this PR will not cause a version bump for any packages. If these changes should not result in a new version, you're good to go. If these changes should result in a version bump, you need to add a changeset.

This PR includes no changesets

When changesets are added to this PR, you'll see the packages that this PR includes changesets for and the associated semver types

Click here to learn what changesets are, and how to add one.

Click here if you're a maintainer who wants to add a changeset to this PR