Shen has type checking that you can turn on and off. When it's on, it's very much like an ML such as Standard ML.

https://shenlanguage.org/

This probably isn't the "most Lisp like," though, even though it does have s-expressions and cons cells. The other person who suggested Coalton is probably right, since AFAIK it's just Common Lisp with static types.

Carp is a statically-typed Lisp: https://github.com/carp-lang/Carp