fix BinaryInteger grammar.

BinaryDigits does not exist. Instead it should point BinaryDigitsUS.

Spin-off from #431