ui.tools.listener.completion: fix use of search-vocab-names.
hash-sets: back out this change for now.
graphs: change closure to use a set and operate on sequences.