Allowing to extend the types environment
Allowing type synonyms