I'm sorry. You're right - that was a slip-up. I meant a non-static (dynamic) typed language.

No, they're duck-typed. Types are attached to values, not variables, and for example trying to eval (+ 1 "hi") will throw a proper type exception.

You usually don't have to declare types but for example in Common Lisp you can optionally declare types for better performance in speed-critical parts of the code.

They're an implementation of the untyped lambda calculus. What you're thinking of are better named tags, not types.