type-synonyms