Без заголовка
"лучше, чем STEPS" -- в каком смысле лучше? Вы сможете написать систему не в 20тыс.LOC, а в 5? Грузануть в нее не десяток пробных языков, а сотню -- и каждый будет описан не парой сотен строк, а пятьюдесятью?
Или у вас какое-то своё понимание "лучше"?
Метапрограммирование, конечно, не сегодня придумано. Проектов в этой области всегда было много. Интересно, по каким критериям вы отбираете интересные.