Category talk:Creatures

Classification
So, Dimetrodons weren't dinosaurs but are more related to mammals than they are to reptiles. But they are listed under reptiles. With how we are going to also get Lystrosaurses, would it be better to create a category for Synapsids?