fix BinaryInteger grammar.

BinaryDigits does not exist. Instead it should point BinaryDigitsUS.
Merge pull request #438 from 9rnsr/fix_BinaryInteger

fix BinaryInteger grammar.