There will be null-restriction type modifiers later on (e.g. declaring a variable as "Integer! foo")

It’s more nuanced than that if you include tearability and implicit constructors