Complete description of TYPEQ-INSTRUCTION.