TBH I wouldn’t mind the left to right type propagation for a == b. Then it would work like a = b
The left to right type inference (what’s the official name?) is great but it also challenges a lot of the assumption that were originally made when designing the language