You can add static type checking in Lisp anytime if you want. Consider the discussion at [1].

[1] http://compgroups.net/comp.lang.lisp/static-type-checking-in....

There's Typed Racket:

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