Ajout d'une classe de test
Les erreurs de liaisons de variables et de types se faisant maintenant le test de bonne formation, on a modifié les erreurs renvoyées dans les fonctions de typage dans le cas où les types ou les variables ne seraient pas présents dans l'environnement.