Définition des principaux types dans TypedAst.
Ajout des fonctions head et canon dans TypedAst.
Ajout de l'exception TypeError dans Error.
type_error de TypedAst ne réinitialise plus les noms de variables.
Ajout de unify dans TypedAst.
Ajout de fvars dans TypedAst.
Ajout des fonctions de gestion de l'environnement de typage dans TypedAst.
Ajout de la fonction à complétée w dans TypedAst.
Ajout du cas Uident dans w.
Ajout du cas des constantes dans w.
w est de type _ -> ttexpr.
Ajout du cas Ulist dans w.
Ajout du cas Uappli dans w.
TypeError est détaillé.
Erreurs gérées dans le cas Uappli de w.
Ajout du cas Ulambda dans w.
Ajout du cas Ubinop dans w.
Ajout du cas Uif dans w.
Ajout du cas Ulet dans w.
Ajout du cas Ucase dans w.