It's interesting that the non-null-able stuff is getting into languages just right now.

When using stuff like JS, the possible nulls are a bigger problem than a wrong type in general (still a problem, but IMO not as significant) still systems like TypeScript started without it.