Ajout des arbres de syntaxe abstraites typés.
Il faut maintenant coder les fonctions qui transformeront les arbres de ast.mli en arbre de typing.ml.