Système de type par résolution
Mettre en place tout ce qu'il faut pour avoir un système de type par résolution. Pour l'instant on garde les types spécifiés par la syntaxe (pas de polymorphisme), mais on met en place le système de résolution qui va bien pour gérer les équations.