A language trait, that specifies that this language has "elaborated type specifiers". If so, we should consider them when parsing the types.