Acomodando el evaluador del lenguaje LambdaArrow.