simplified implementation of ++ for buffered bit vectors