type_ -> type (type_ has served its purpose).