Removing some unsed code. Whitespace fixes.
Fixing the definition of let.
Adding a new README.