implement reference-equality: though not sure if intermediate dereferences will be dereffed as expected).
define ref= (returns true iff a map's path1 and path2 point to the same object.)
use ref= (see last commit) to deal with new-style linear ordering
show H (head) and C (comp) prominently in tabular display