non-mammalian synapsid Synonyms