adding initial files for hw5
hacked lambda.maude to new file to be able to incrementally add HW5 components to it. Less distracting this way
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
addded combinatory logic
started translation to combinatory logic. Implemented lambda deletion and vars
translated application to combinators
translated S and K abstractions. Finished combinators
did currying
started church booleans
church booleans
initial church numerals
did church numerals
pairs