Cálculo λ escrito simplemente