Improved THE-AST and TYPEQ-AST.
New instruction TYPEQ-INSTRUCTION.
convert special forms THE and TYPEQ
Many simplifications and improvements.  Handle THE and TYPEQ.