7.4. Extensions to data types and type synonyms