DEFINE-INFO-TYPE search for an unused type number instead of using *TYPE-COUNTER*. Flushed *TYPE-COUNTER*.