DEFINE-INFO-TYPE search for an unused type number instead of using *TYPE-COUNTER*. Flushed *TYPE-COUNTER*.
the strings for the name and type to INFO instead of the symbols.
the type number from being reused. This allows new types to be defined without clobbering the old type numbers.