Better union typing

[soutaro]

Improves typing of method calls with block on union type receivers. This gives better types for:

a = [1, ""].sample    # a: Integer | String
a.yield_self do       # This cannot type blocks well because of the receiver is union type. 😢 
  ...
end

This PR is to introduce union and intersection of method types and using them solves the problem above.