Ну вот просто если все это раскопать, то внутри оказывается все просто и даже тривиально.
Но при этом для всего этого придумано 10 новых сущностей, пару слоев абстракции и три толстенных книги описания как оно все работает.

И если классические метаязыки были созданы для решения конкретных прикладных задач, то нынешние инструменты создаются для разработки инструментов поддержки иструментов. Вот что удручает же.