PROG: ADD lambdaTerme type