Bit-vector kinds documentation

Liana, please check over and accept pull request if appropriate.