Unionize at joins instead of common ancestor

[KotlinIsland]

current:

b: bool
reveal_type("" if b else 1)  # object

proposed:

b: bool
reveal_type("" if b else 1)  # str | int