Reducing the use of nullable types through non-null by default and monotonic non-null