Допустим, я хочу реализовать сишарповский dynamic в Nemerle 2. Для этого мне нужно перехватывать все вызовы методов для всех объектов типа dynamic в компилируемом проекте. Или добавить Extension Method, который на самом деле был бы макросом.

Для этого необходимо иметь возможность расширять Nemerle на уровне вызовов метода.

Еще я хочу создавать новые top-level сущности, как таблицы в Falcon-е. Это, по идее, позволяет новый парсер Nemerle.

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