> 2) Notnull это хорошо. Это очень хорошо. И вы не путаете "int?" c "int"?

Тут не за инт вопрос, с ним всё просто.

struct Employee {}
class Employee2 {}

Employee? e = new Employee();
e = null;  // Можно, но на самом деле это не null
            
Employee2 e2 = new Employee2();
e2 = null; // Нельзя, хотя по идее можно

Как бы структура имеет свойства класса, а класс имеет свойства структуры. Вообще, я считаю, что это повод написать новый язык, а не подпирать пережитки прошлого.