Fix spell mistake
Add SICP exercise 4.31
Lots of bug fixes
Add the lazy evaluator input, test purpose