Less aggressive subtype reduction in union types
Merge branch 'unionTypes' of https://github.com/Microsoft/TypeScript into unionTypes
Accepting new baselines