Update language extensions
Expansion of type synonyms