Isn't gradual typing widely understood to mean "gradual between static and dynamic", which F# certainly isn't?