simple cpp interpreter for lambda calculus