Reformat and start lambda-calculus example