Revise Pyrefly overview in types.md

[shobhitmehro]

Summary

Updated Pyrefly description to reflect enhanced attrs support.

Pull Request Checklist

• I acknowledge this project's AI policy.
• This pull request is not from my main branch.
  • Consider granting push permissions to the PR branch, so maintainers can fix minor issues themselves without pestering you.
• There's tests for all new and changed code.
• Changes or additions to public APIs are reflected in our type stubs (files ending in .pyi).
  • ...and used in the stub test file typing-examples/baseline.py or, if necessary, typing-examples/mypy.py.
  • If they've been added to attr/__init__.pyi, they've also been re-imported in attrs/__init__.pyi.
• The documentation has been updated.
  • New functions/classes have to be added to docs/api.rst by hand.
  • Changes to the signatures of @attr.s() and @attrs.define() have to be added by hand too.
  • Changed/added classes/methods/functions have appropriate versionadded, versionchanged, or deprecated directives.
    The next version is the second number in the current release + 1.
    The first number represents the current year.
    So if the current version on PyPI is 26.2.0, the next version is gonna be 26.3.0.
    If the next version is the first in the new year, it'll be 27.1.0.
  • Documentation in .rst and .md files is written using semantic newlines.
• Changes have news fragments in changelog.d.

[hynek]

thanks! please follow our documentation standards, notably we use semantic newlines.

---

just as a heads up: we'll merge it once 1.2.0 final is out to avoid confusion

[hynek]

thanks – mostly for the feature but also this :)

[hynek]

reminder to myself: merge together with #1588 once Pyrefly 1.2.0 final is out.