If you are interested in a typed Lisp experience, I highly recommend Typed Racket :)

https://docs.racket-lang.org/ts-guide/