Implementation of the lambda calculus using guile scheme.

I somewhat figured out how to use Y combinator sort of thing for recursion, thanks to "Why of Y".

betterlambda.scm uses only "let" for definitions, lambda.scm is thusly deprecated.