Added the ability to print nested lists.

Fixed an issue where (\x=(T 1) is_bool x) was yielding true.

Documented test/checkt and test/fib in README.md.