method on ELIMINATE specialized to TYPEQ-INSTRUCTION.
Make some constructors more general.