K> Можем подискутировать по каждому пункту

Я не смогу, тупой. Но надеюсь на "помощь зала".

Мне непонятно вот что:
1) компилятор надо переписать
3) не кроить конструкторы конструкторов для конструкторов

Это же хорошо будет, если процесс будет формализован и верифицируем хоть в какой-то части.

K> Можем подискутировать по каждому пункту

Я не смогу, тупой. Но надеюсь на "помощь зала".

Мне непонятно вот что:
1) компилятор надо переписать
3) не кроить конструкторы конструкторов для конструкторов

Это же хорошо будет, если процесс будет формализован и верифицируем хоть в какой-то части.

K> Сиди уже

Ну зачем вот так сразу?