Adjust 'q walk to be a bit clearer about '_ -> lvar upgrading.
Adding sha-bitmap (shabam) support.

This structure allows for fast ancestry checking via bitmaps, indexed
by enumerated shas.
Remove abandoned relational goals and comment examples.

Remaining comment examples moved to the end of the file.