I believe this was built with macros:

Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp by taking great ideas from Haskell, Scheme, and OCaml.

https://coalton-lang.github.io/

Not well known, but surely good software engineering adding features. Lisp* is called the Programmable Programming Language for a reason.

pg wrote a treatise on Lisp macros (free download):

https://www.paulgraham.com/onlisp.html

(add to that something about great power - great responsibility and not holding it wrong)