Sample lambda calculus file and parser