added combinatory logic translator/evaluator and added a helper function to lambda_evaluation