The mistake is to have “null” inhabit all types — that is, to be of the top type

Exactly! I even wrote a separate (previous) story about that: https://medium.com/@elizarov/null-is-your-friend-not-a-mistake-b63ff1751dd5