I think it's perfectly fine to have option types, and that's exactly what languages without null references end up doing. What null references end up doing is a

I think it's perfectly fine to have option types, and that's exactly what languages without null references end up doing. What null references end up doing is accidentally turning all types into option types and making it impossible to have non-option types.