First implementation of Mark's bit string stuff, in `bootstrap/Bitstring.eli`.