I propose to the name the tool "Cascade". I think it's a good name because the tool supports the cascade effects of type qualifiers.