The design, implementation, and evaluation of a gradual type system for dynamic class composition