Avanzando con Algol-Like, sumando un ejemplo para LambdaLeq.