Removed unused symbol warning for the time being.
Implemented letrec with mutliple bindings.
Renames combinators and built-in functions so that they can actually be
parsed. In particular, B* is now Bs, == is eq, and so on.
Started real users guide.