Fix λ definition and binding