Блин, а как ты себе это ещё представляешь? По сути тебе же нужен плагин к компилятору, который бы по иному обрабатывал синтаксическое дерево, да ещё бы имел доступ ко всему контексту в отличии от дерайвов, так?
нет. ты делаешь перегрузку всевозможных операторов для своих математических объектов, но все замены выполняешь не посредством логики типов, а логики термов