Binary Lambda Calculus for general-purpose programming