[red-knot] Type narrowing inside boolean expressions

[TomerBin]

Summary

This PR adds type narrowing in and and or expressions, for example:

class A: ...

x: A | None = A() if bool_instance() else None

isinstance(x, A) or reveal_type(x)  # revealed: None

Test Plan

New mdtests 😍

[github-actions]

ruff-ecosystem results

Linter (stable)

✅ ecosystem check detected no linter changes.

Linter (preview)

✅ ecosystem check detected no linter changes.

[carljm]

So nice!