Added definitions to binary lambda calculus