RestrictedTypeSynonyms