Improved type inferences involving union types
Adding tests
Accepting new baselines
Addressing CR feedback
Accepting new baselines
Merge pull request #1035 from Microsoft/improvedTypeInference

Improved type inference (fixes #1011)