Lambda Calculus Call By Value