At the end, there is this section: > Providing a mechanism in the language to assert that all types in a certain context are implicitly null-restricted, withou

At the end, there is this section: > Providing a mechanism in the language to assert that all types in a certain context are implicitly null-restricted, without requiring the programmer to use explicit ! symbols. Could be nice, even if just as a compiler flag or a module tag.