Lambda Algebra I ...