Type-synonyms for tagged names