detect exactly equivalent intersection types for #596