Добавление возможности ставить плагины? Это вопрос спорный. Надо сильно пересматривать структуру компилятора и много переделывать. Что не просто и чревато последствиями... Например, открытость кода - написал плагин и без него уже никто не скомпилит; а все ли захотят приделывать к своему компилятору чей-то плагин?

Общий механизм введения таких типов - суть неоднократно обсуждамые "перегрузки операций". Которые убирают необходимость делать плагин. Но опять изменения иязыкаи компилятора...

Итого, у нас есть самый простой способ:
- сделать библиотеку.
Супротив возможных:
- сделать библиотеку+плагин для компилятора
- сделать библиотеку и переопределить операции.
И вопрос... оно нам надо? Если не ошибаюсь, и от приверженцев перегрузок было слышен общеизвестный лозунг "не трогай то, что работает".

P.S. Исходники к-ра открыты и желающие что-либо добавить всегда могут попробовать это сделать...