Moved lambda calculus to separate repo