Intersection Types

Written version in progress…