Further k&w Pattern Additional InformationShapewizard: HoseTC-T: Narrowing, widening and binding-off types