Trace-based just-in-time type specialization for dynamic languages