Avancement du typage : typvar, typqvar etc.. + changement de typarg, arg renvoit maintenant l'environnement lorsqu'on ajoute la variable.