†superfamily Chiniquodontoidea (cynodont)