Remove one more mention of intersection types