Add @objc() attributes to identifiers that need to be renamed for Objective-C interface