All lisps I used could be statically typed, I think? Does elisp used typep?

For small projects, hacks or emacs macros types are not useful but the possibility of adding types is there.

[Edit:and it's useful when your finite state machine grows to much]