Yes, but the discussion here was about it being a gradual, gradual type system, as in, the gradual type system being added gradually