Binary Lambda Calculus