feat(until): improved until types

[zojize]

Description

This PR tries to provide a better type signature for the until function.

• Returns the unrefed value of the input from the promise
• Narrower type inference
• 0ms Timeout fixed now works as expected
• Typechecking tests(I'm not sure if what I wrote is the best practice but this is an attempt, probably need to refactor)
• toBe now works for input refs

closes #1492

Potential Problem

• There is a bit of code duplication in the implemetation of toBe and toMatch, but I'm not sure how to abstract the logic here.
• Type testing syntax have rooms for improvement

---

What is the purpose of this pull request?

• Bug fix
• New Feature
• Documentation update
• Other

Before submitting the PR, please make sure you do the following

• Read the Contributing Guidelines.
• Read the Pull Request Guidelines.
• Check that there isn't already a PR that solves the problem the same way to avoid creating a duplicate.
• Provide a description in this PR that addresses what the PR is solving, or reference the issue that it solves (e.g. fixes #123).
• Ideally, include relevant tests that fail without this PR but pass with it.