Elements of Combinatory Logic.