Normal Order Reduction Lambda Calculus Practice