> 1. The elimination of null. This means that all types (even reference types!) become non-nullable.

Yep, problem solved, 'billion-dollar mistake' corrected (at least for future times).