Bit-vector kinds documentation
Merge pull request #35 from mdeters/bv-kinds

Bit-vector kinds documentation