More detailed example in the README

[colemathis]

The README should explain the contents of the config files, including a sentence describing each parameter.

It should also have an example and explain the input arguments and output data for the command line tool.

For example, what is written to standard out? Is it just the final set of expressions? The expressions at each point in time?

[colemathis]

The README should also link to the lambda calculus repo.