Commit before adding command line flag types.
First example experiment with untyped lambda calculus.