I'd argue that any type system that don't support enforcing non-nil/nullability is not strong in any way and probably worse than not having any type system at a

I'd argue that any type system that don't support enforcing non-nil/nullability is not strong in any way and probably worse than not having any type system at all as they give a false sense of security.