A call-by-name untyped lambda calculus evaluator. I have no clue what to do with it.