lambda expressions
lambda combinators
fix instances
empty lambda eval
module name combinator
pair combinators
parens around lambda
working lambda reduction