Nope, you've just about covered the problem.

I prefer the term "dynamic language" anyway. The type system is flexible, you've a lot of power at run time, and you've access to some type of eval.