Fix escaping for operator name props in externs