stegocephalia Synonyms