Lower Case Lambda Calculus