typification, progress to set at least 1 of each type