You may want to check out Typed Racket as an example of what people can do if they decide they want types in their lisp. [0]

[0] https://docs.racket-lang.org/ts-guide/