Now that the compiler directly represents top-level nullability on symbols, we can delete our wrappers that do the same thing.