A_lightweight_implementation_of_generics_and_dynamics