Add intersection types (and - &)