Pure untyped lambda calculus
Readme added