Ajustando LambdaLeq al cambio hecho en LambdaArrow. Agregados ejemplos conrrespondientes al sub-tipado.