Lambda Calculus parser and interpreter