Remaining types Synonyms