An Introduction to Combinatory Analysis