more λ Calculus notes