Correct, a gradual type system is a form of type system and not the method for rolling it out.