Clean up code from Union/Find AVs and sequential representation AVs; add glossary entries; clean up use of numref, dfn