Вообще было бы топово.
Оставить от языка только минимальное возможное ядро, типа как GHC Core, а всё остальное делать как рассахаривание в него тем или иным способом.
И оно бы всё пиздец тормозило. Собственно, есть Lisp, построенный вокруг этой идеи, и реально используемая реализация — Common Lisp — нихера не минимальная по этой причине