Starting to add the intersection type