We don't allow underscores as identifiers today, we only allow it as a pattern. Will treating it as an identifier not be problematic?