Cleaning code.

Running run-pass tests...

[PASSED] tests/run-pass/assert.scm
[PASSED] tests/run-pass/convert.scm
[PASSED] tests/run-pass/eq-pair.scm
[PASSED] tests/run-pass/eq-prim.scm
[PASSED] tests/run-pass/fact.scm
[PASSED] tests/run-pass/filter.scm
[PASSED] tests/run-pass/lambda.scm
[PASSED] tests/run-pass/list.scm
[PASSED] tests/run-pass/map.scm
[PASSED] tests/run-pass/pair.scm
[PASSED] tests/run-pass/predicates.scm
[PASSED] tests/run-pass/va_args.scm
All passed.

Running run-fail tests...

[PASSED] tests/run-fail/assert.scm
[PASSED] tests/run-fail/exit.scm
All passed.
I'm not in favor of explicitly annotationg every definition. What's the point of having type inference then ? This one is really obvious...