small update on intersection type rules