Added a description of the combinatory logic.