Non-nullable reference types at the language level? Null coalescing operator? Safe navigation accessors? Record composition?