declare heralded-names

A declaration used to support rapid prototyping or when there are programs that do not run under OmniMark V3 and can't be converted easily.

The use of declare heralded-names allows:

• programs to be written with no declarations (useful for prototyping).
• the same tokens to serve as both OmniMark keywords and as programmer-defined names (OmniMark V3 prohibits using a token as a keyword in any scope where it has been declared as a programmer-defined name).
• the back-quote character in macro definitions.

The "-herald" command-line option can be used when the program can't be modified. It has almost the same effect as the declare heralded-names declaration, except that programs without a translation type are considered to be down-translations and not process programs.