Не может найти Средство импорта WSDL Delphi 2007

Вы довольно близки к своему типу, проблема в том, что машинопись не будет делать никакого вывода о переменных. Если вы установите тип в аннотации типа переменной, то это будет последний тип.

Для получения необходимого поведения вы должны использовать функцию. Функции могут иметь дополнительные параметры типа, которые компилятор выведет на основе фактического типа параметра:

interface IExample<Model extends Record<string, any>> {
  model: () => Model,
  evaluator: Record<string, (this: Model) => boolean>
}

function createExample<T>(o: IExample<T>) {
  return o;
}

const example = createExample({
  model: () => ({
    k1: true,
    k2: 'some content',
    k3: [1, 2, 3]
  }),
  evaluator: {
    testEvaluator: function () {
      // this is  { k1: boolean; k2: string; k3: number[]; }

      return this.k1 === true
    }
  }
});