Correct contextual typing with union types
Accepting new baselines