Coefficient Lambda Calculus Functional Programming