Implement let binding. close #2
Improve eqv? and equal? documentation