Added grammar for parsing binary lambda calculus