common lisp supports type annotations. there is even an ML-type language impletmented in it (see coalton). quick lisp [1] is used for package managment, bordeaux-threads [2] for threading.

1. https://www.quicklisp.org/index.html

2. https://github.com/sionescu/bordeaux-threads