Bootstrap: codegen union types for if