In honor of Lystrosaurus joining the roster, here are my suggestions for more synapsids, the ones classified outside Cynodontia.
Anteosaurus, Cotylorhynchus, Edaphosaurus, Estemmenosuchus, Inostrancevia, Moschops, Ophiacodon, Tetraceratops
What are your suggestions? Especially for another dicynodont since they are such a large group.