Simple Lambda Calculus Functional Programming