Hint.Lambda
lambdaHint
lambdaDecl
etaReduce
lambdaExp
fromLambda