Hola!
En la última pregunta, en el minuto 40, había marcado que: evalExp (Lit i) = (Lit i), porque la función definida de ejemplo arriba retorna (Lit 1), en vez de 1. Es decir, alguna definición de evalExp debía devolver algo del tipo (Lit i), como en el ejemplo. Quería saber si era un error en la pregunta o si entendí algo mal.
Saludos.