T?? = T | Null | Null = T | Null = T?, разницы нету.
Чейн-коллы - просто специальный оператор, не меняющий сути типа. Как и упомянул выше, в Цейлоне специальные операторы были тоже, насколько я понимаю.
Nothing? = Nothing | Null, тоже не вижу ничего специфичного.
А теперь сравните написание T|Null и T?. Не говоря уже о том, что надо специальный тип для null вводить и это вероятно сломает много чего. Я если что за суммы типов, и если они будут введены таким образом, чтобы включать нулябли, я совершенно не буду возражать. Но сидеть и ждать значительно более сложной фичи, решающей 5% кейсов вместо того, чтобы пользоваться простой фичей, которая решает 95% случаев - это странно.
