genus Diadophis Synonyms