Improved Type Specialization for Dynamic Scripting Languages