Ao ler o código fonte da dolistmacro, deparei-me com o seguinte comentário. ;; Este não é um teste confiável, mas não importa, porque ambas as semânticas são aceitáveis, uma é um pouco mais rápida com escopo dinâmico e a outra é um pouco mais rápida (e tem semântica mais limpa) com escopo...