lambdaTermLength (App f x) = lambdaTermLength f + lambdaTermLength x
lambdaTermLength (App f x) = lambdaTermLength f + lambdaTermLength x
lambdaTermLength (App f x) = lambdaTermLength f + lambdaTermLength x