Exported names of data constructors.
Added EQ-INSTRUCTION.
Added Graphviz drawing method for EQ-INSTRUCTION.
Exported name of EQ-INSTRUCTION and its constructor.
Replaced use of old ==-INSTRUCTION by use of new EQ-INSTRUCTION.