а для этого надо просто написать кодген нормального языка
Нет, для этого надо ставить задачи корректно. Символьные вычисления и расчеты всегда были и будут разными темами. Иногда их удается подружить. Но на самом деле то, что мы сейчас делаем на kmath это чуть ли не первый случай, который я знаю, когда это выглядит прилично, тем более в типизированном языке ( в нетипизированном, математика и мапл умеют)