Как строится наследование и связь между типами, допускающими и не допускающими значения null?