Yeah, we can get rid of `NanSymbol`, but it is a macro, so to deprecate it will require introducing dummy functions, so that they can be deprecated.