Да, можно было бы на чистом лиспе сделать, я даж видел такое. Но преодолевать то, что преодолевать не нужно (и тратить на это гигантские усилия с обратной стороны, чтобы спуститься с высот абстракций -- это ничуть не проще, чем на них залезть!), не вижу никакого смысла.
Интересно, есть ли практическая задача, где потребовалось бы в лисп встроить си, в который встроены ассемблерные заплатки? Было бы прикольно.