duplicate protocol validation needs to be in extend-type, not in dt->et