Defining type synonyms.