(define (let-eval exp env let-vars let-exprs)
  (cond ((eq? (cadddr exp) 'and)
         (let-eval
          (cddddr exp) env (cons (car exp) let-vars) (cons (caddr exp) let-exprs)))
        ((eq? (cadddr exp) 'in)
         (let-do-eval
          env (cons (car exp) let-vars) (cons (caddr exp) let-exprs) (car (cddddr exp))))))

(define (let-do-eval env let-vars let-exprs let-body)
  (mc-apply (mc-eval (make-lambda let-vars (list let-body)) env) let-exprs))