New function TYPE-EQUAL-P