Coefficient Lambda Calculus Functional Programming Python