Fleshed out Bignum type, added Rationals
Simplified numeric comparisons
Added integer? and rational?
Made the reader start reading on demand only; more REPL friendly this way
Added REPL prompt, reordered the TODOs