Nulls/Nones are always a big gap in a language's type system. A common alternative is to have some Option/Maybe type like Rust or Haskell or D's Variant. How about making that required to plug the null gap?
There are others too who feel like that too:
https://news.ycombinator.com/item?id=18588239
