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