New `compact` combinator or Encoder, GenCodec, and Codec that compacts encoded bit vectors