Здравствуйте, Ziaw, Вы писали:

Z>Например преобразование через шаблоны кода, хотя это очень спорная фича.

Если без изменения семантики, то это просто оптимизация. Пусть и определяемая пользователем. Это как раз не так сложно сделать.

Z>А вот метаинформация для узлов AST точно не помешает.

О чем идет речь? Вы бы хоть показали пример того что имеете в виду.