Demonstrate lambda calculus parser and operational semantics in README