Fixtype of lists of binary digits and underscores.
A binary-numeral in the grammar, excluding the prefix, is a sequence of binary digits and underscores, subject to certain restrictions formalized in bindig/uscore-list-wfp.