Heterotypic synonyms