стрим токенов на входе, стрим токенов на выходк

В расте то? У него близко к удобному подходу, сверху бы ещё приправить компайл тайм функциями.

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

А в ди мне не хватает то, что я не могу делать свои компайл тайм типы, где поля это типы.

Вообще можно всё метапрограммирование выразить на том же языке, что используется для остальной части программы, главное в разборы AST деревьев не лезть.

Например, в хаскелле мощные "макросы" на AST, пишешь хаскелль, который в компайлтайме разбирает дерево, умеет как разобрать кусок выражения, так и в него интерполировать уже разобранное, итого танцуя между разбором-подстановкой должен получать красивое метапрограммирование. Но на деле,  Template Haskell избегают максимально сильно, ибо:
1) AST код выглядит громоздко и сложно поддерживать
2) Сложно понять, что там тебе генерится и в каких количества, в типах выражения не отражено. Но можно хотя бы сдампать нагенеренный код.
3) Проблемная кросскомпиляция в ARM и JS
4) Template Haskell может в IO во время компиляции, что потенциально дырка

и непонятный

и совместимость обеспечивают в редакциях

если же конечно не критичное изменение

плагинов по сути нет уже

Можешь же, не?

Я могу делать максимум списки типов и то через неявный интерфейс, а не через [T]

Я не могу сделать аля struct MyTemp { Type a; Type b; } Типы не являются first class

Это всё же хак, можно элегантнее на самом деле

Можешь template MyTemp { alias a = Type; alias b = Type }

Так и делаю, но заметь, что язык разбивается на два, один для метапрограммирования, другой для времени выполнения и частично для метапрограммирования.

Нет никаких проблем же сделать его унифицированным для простоты.

Разрешить в CTFE использовать типы как значения

Есть.