Avaliação por redução
Todas as seqüências de redução dão o mesmo resultado
Redução usa substituição, e opera só sobre as variáveis livres
A ordem de avaliação do lisp corresponde a uma ordem específica de reduções
(pegar os diagramas que eu tenho sobre isso e ascii-zar)