Part of #13618: infer types for expressions x > y, x == y, etc. where x and/or y are of union type.