addded simple lambda
added lambda reduction and started bruijn
added lambda reduction and started bruijn
added lifting to bruijn
finished bruijn
added bruijn optimized
added conversion of lambda calculus to bruijn form
introduced missing case for lambda to bruijn conversion