Барбара Лисков это делала давно. И была первопроходцем в абстрактной типизации, за что её все помнят и уважают (вместе с CLU). Но, факт есть факт, удачная реализация CLU - задачка из той же оперы, что Алгол-68... Реализации по пальцам пересчитать (одна из успешных и полных вроде на Эльбрусах была ленинградцами сделана).