Adds Combinatory logic section and related paper

Adds combinatory logic section and Okasaki's "Flattening Combinators: Surviving Without Parentheses". Should be merged after #84.