Document Deque trait and bitv.

Examples for `Deque`, `Bitv` and `BitvSet`. Normalize documentation style and some source code reorganization.
Could you align these arrays and their elements, to make it clear what's happening? (It would be nice if it were done for all the examples.)