Maintain detailed types of superclass actual type arguments.