Type Narrowing Patterns in Pyrefly

4 Type Narrowing Patterns in Pyrefly that make Python Type Checking more Intuitive