Getting started with combinatory logic. Evaluates "Hello world".