Add intersection types
Merge pull request #2 from phadej/intersection-types

Add intersection types (and - &)