Racket как платформа реализует много языков и дает средства делать новые. И среди реализованных языков там есть Схема (R5RS, R6RS), Algol 60, Datalog, racket, typed racket... Это все разные языки на одной платформе.
еще наверное статическую типизацию с выводом типов можно добавить. в CL она не полная и на уровне реализаций. хотя в теории в CL можно построить статическую систему типов на макросах (автор Qi вроде так и реализовал изначально)
чтобы было удобнее писать не-гигиенические макросы. хотя решение оч спорное на мой взгляд. особенно funcall стремно выглядит - как-будто язык в явной форме не поощряет ф-циональный стиль. что для лиспа странно
а можно подробностей? чего конкретно не хватает, а не просто впечатления "ну оно не дотягивает до слайма". недотягивает чем? типа "в слайме есть такая штука, а я в гейзере искал и ее нет". и вот таких 10 юзкейсов