Category "typed"

Typing variables in Common Lisp

I read that CL supports optional typing (as in the language has this feature) which I would assume allos for faster code in many cases, but I can't seem to find