Sketched full Humus description of Lambda Calculus