[docs,library] Document bit-vector.

This is a resurrection of some old materials from Harlequin.