Added --collect-def option for generating a file which lists all identifiers being defined.
Added --hyp-def option for adding \hypertarget and \index before identifier definitions (currently in poly mode only).
Identifiers are now \hyperlink'd to their definitions. (Indexing is tentatively removed.)