Intersection types

[KotlinIsland]

Add support for Intersection types.

Intersection[A, B] == <subclass of "A" and "B">.

class A:
    def foo(self) -> A: ...

class B:
    def foo(self) -> B: ...

class C(A, B):
    def foo(self) -> A & B: ...