[ty] fix binary expression inference between boolean literals and bool instances

[alpaylan]

Summary

This PR fixes a false type inference issue specified in astral-sh/ty#649

If there is a better solution, I'm open to implementing that too. The current version uses the right-hand-side type when it finds a bool & NominalInstance pair, which is an improvement over the previous version, but I'm guessing there are bugs introduces by this too. I will keep inspecting those as I wait for the reviews.

Closes astral-sh/ty#649

Test Plan

This PR was tested through a regression test, added as an inline test to the module.

[carljm]

Thanks for identifying the bug and proposing a fix! I think we want to adjust a few things in this PR, but it's a great start.

[github-actions]

mypy_primer results

Changes were detected when running on open source projects

optuna (https://github.com/optuna/optuna)
- error[invalid-argument-type] optuna/visualization/_pareto_front.py:327:9: Argument is incorrect: Expected `bool`, found `int`
- Found 1005 diagnostics
+ Found 1004 diagnostics

yarl (https://github.com/aio-libs/yarl)
- error[invalid-assignment] yarl/_url.py:1019:13: Object of type `int` is not assignable to `bool`
- Found 159 diagnostics
+ Found 158 diagnostics

mypy (https://github.com/python/mypy)
- error[invalid-return-type] mypy/inspections.py:427:16: Return type does not match returned value: expected `tuple[dict[FuncBase | SymbolNode, State], bool]`, found `tuple[dict[Unknown, Unknown], int | @Todo(map_with_boundness: intersections with negative contributions)]`
- Found 2023 diagnostics
+ Found 2022 diagnostics

dd-trace-py (https://github.com/DataDog/dd-trace-py)
- error[invalid-return-type] ddtrace/appsec/_ddwaf/waf.py:143:16: Return type does not match returned value: expected `bool`, found `int`
- Found 6897 diagnostics
+ Found 6896 diagnostics

scipy (https://github.com/scipy/scipy)
- error[unresolved-attribute] scipy/stats/_mstats_basic.py:1919:7: Type `int` has no attribute `filled`
+ error[unresolved-attribute] scipy/stats/_mstats_basic.py:1919:7: Type `bool` has no attribute `filled`

[AlexWaygood]

Thanks!

[AlexWaygood]

Looks great, thank you!

requested changes were made