(define (env-for-lazy-let def env)
  (add-to-env
   'lazy-let
   (lazy-let-def-var def)
   (cons
    (lazy-let-def-expr def)
    env)
   env))