Type promotion: Why not use more unions?

See also the discussion here: https://github.com/JuliaLang/julia/issues/22630#issuecomment-314947604