Implémentation d'un type pour les lambda termes