take test cases from test.lisp and run
(print-lambda (reduce-lambda [name of test case]))
first time using common lisp, insane language
todo:
- lambda lexer
- church encodings
- reduction counter / other cost models
i have no idea if this actually works but test cases seems correct