feat(suppress): support removal of # type: ignore suppressions with pyrefly suppress --remove-unused

[tobyh-canva]

Summary

Changes pyrefly suppress --remove-unused and pyrefly check --remove-unused-ignores so that users can specify --remove-unused=type / --remove-unused=all to instead / additionally remove # type: ignore comments, rather than just # pyrefly: ignore comments.

The default remains unchanged, so as to not surprise users previously relying on pyrefly suppress --remove-unused suddenly removing load-bearing # type: ignore comments.

Resolves #3984.

[meta-codesync]

@kinto0 has imported this pull request. If you are a Meta employee, you can view this in D113126957.

[kinto0]

would love @maggiemoss 's perspective on this

[maggiemoss]

What if instead of new flags for each kind of ignore, we had the ability to pass an option to it and specify which kind?

[tobyh-canva]

Here's what the flag's help looks like from pyrefly suppress --help after addressing feedback:

--remove-unused[=<KIND>]
    Remove unused ignores instead of adding suppressions, optionally selecting `pyrefly`,
    `type`, or `all`. Defaults to `pyrefly` when no kind is specified

    Possible values:
    - pyrefly: Remove unused Pyrefly and Pyre ignores (default)
    - type:    Remove unused `# type: ignore` comments
    - all:     Remove unused Pyrefly, Pyre, and `# type: ignore` comments

[github-actions]

According to mypy_primer, this change doesn't affect type check results on a corpus of open source code. ✅