A efficient implementation of arrays of booleans
