why does Lisp always have dyamic variables?

Is it possible to make a Lisp dialect that has static types? Why cant type inference be used in Lisp instead of dynamic typing.

>>4
(pointer (pointer char))

So... is that a **char, or secretly a *cons ?
What does (pointer (return 0)) or (pointer (puts "dicks")) do?