Creation du type checker en haskell
Implementation suivant le Impl Prog Lang
Implementation fonction extendVar
Amélioration type Error
Implementation lookupvar
Amelioration du type Error
Amelioration du type environnement