Руслан Лопатин

Для таких вещей сборщики используются.

Например, Rollup или Vite.

А это и не ошибка вовсе. В переменную типа type1 | type2 можно назначить значение типа type1 или типа type2. Ваше значение вполне соответствует типу type2, так что всё в порядке. Что до "лишнего" свойства "a", то его наличие, строго формально, - не ошибка. Теоретически там может быть любое дополнительное поле. Но TypeScript не допускает такого, для предотвращения _человеческих_ ошибок. Это что-то типа linting, Хотя строго формально, как я уже сказал, - это не ошибка.
Вот соответствующий комментарий.

TypeScript так не умеет.

Могу предложить нормализацию сложных типов. Что-то типа такого:

// Заготовка для Some
interface SomeDraft {
  value?: string | string[]; // Массив или значение. Может отсутствовать.
}

// Some имеет более строгий тип и как можно меньшую вариативность,
// чтобы в коде не делать проверки.
interface Some {
  value: string[];  // Всегда присутствует. Всегда массив.
}

function makeSome({ value = [] }: SomeDraft): Some {
  // Приводим к нормальному (более строгому) типу
  return {
    value: Array.isArray(value) ? value : [value],
  };
}

// Здесь Some задаётся через заготовку - так проще задавать значения
// Но результат всегда более строгий - так проще значениями пользоваться
const foo = makeSome({ value: 'foo' }); // { value: ['foo'] }

foo.value.map(() => {}); // foo.value - всегда массив и TypeScript это знает

В сервисе должно быть не просто свойство, а Observable, публикующий изменения в его значении. Тогда компонент C сможет подписаться на эти изменения. И в подписчике вызвать ChangeDetectionRef.detectChanges() после их применения.

Можно использовать обобщения (generics):

interface Options {
    cats: number;
    dogs: number;
}

const defaultOptions: Options = { cats: 100, dogs: 100 };

class Jodit<O extends Options> {
    constructor(public options: O) {}
}

const jodit = new Jodit({ ...defaultOptions, mice: 1000 });

jodit.options.mice = 1024;

Если так не хочется, чтобы опции копировались, то для опций придётся заводить классы:

class Options {
    cats = 100;
    dogs = 100;
}

class Jodit<O extends Options> {
    constructor(public options: O) {}
}

class MiceOptions extends Options {
    mice = 1000;
}

const jodit = new Jodit(new MiceOptions());

jodit.options.mice = 1024;

Type definition всего лишь добавляет типизацию для существующей реализации на JavaScript.

Можно попробовать с помощью NgComponentOutlet
Что-то типа этого:

@Component({
  template: `<ng-container *ngComponentOutlet="myComponent"></ng-container>`
})
export class MyContainerComponent {

  @Input()
  myTemplate: string;

  get myComponent(): Type<any> {

    const template = this.myTemplate;

    @Component({template})
    class MyComponent {
    };

    return MyComponent;
  }
}

С AOT работать, скорее всего, не будет.

У вас ошибка в другом выражении. А именно в

search.value

. Нет переменной search в области видимости

Ошибка - в Request. Там, видимо, onRequest передаётся в $.ajax напрямую, как-то так:

$.ajax({
  url: this.url + this.currentPage,
  type: `GET`,
  /*... more params */
}).done(this.onRequest);

Естественно, $.ajax переписывает this.
Надо как-то так:

$.ajax({
  url: this.url + this.currentPage,
  type: `GET`,
  /*... more params */
}).done(data => this.onRequest(data))

Это модуль в формате UMD. Angular2, например, поставляет свои модули в этом формате.

Используйте `map` вместо `path`:

SystemJS.config({
    "defaultJSExtensions": true,
    map: {
        css: '/js/system-css.js',
        datepicker: 'js/datepicker.js'
    },
    meta: {
        '*.css': { loader: 'css' }
    },
    baseURL: '/',
    paths: {
        jquery: 'js/jquery',
        scrollbar: 'js/scrollbar'
    }
});

Вы указали, что тип состояния вашего элемента - пустой, а пытаетесь его заполнить чем-то.

Просто укажите тип данных, которые собираетесь использовать в качестве состояния:

interface ParentStateItem {
    id: number;
    title: text;
}
interface ParentState {
    items: ParentStateItem[];
}

class Parent extends React.Component<{}, ParentState> {
}