le typecheck a l'air de marcher, l'ast est corrigé.
Le tout est très sommaire, mais... FUCK YEAH!