Intersection types

There has been much discussion about introducing intersection types.

No consensus yet, as there are subtleties with how this interacts with the Any type (and particularly subclasses of Any).