Document Deque trait and bitv.

Examples for `Deque`, `Bitv` and `BitvSet`. Normalize documentation style and some source code reorganization.
You would need to put this description above the example, so link renders in the docs pages.