hyperized "translateback" extension primitive

HISTORY.md

@@ -40,6 +40,7 @@
 ### 2022-04-07
 * extensions: added "translateback" extension primitive
 * extensions: hyperized "translate" extension primitive
+* extensions: hyperized "translateback" extension primitive
 
 ### 2022-04-06
 * extensions: tweaked restoring the display mode when changing languages

src/extensions.js

@@ -808,7 +808,16 @@ SnapExtensions.primitives.set(
 SnapExtensions.primitives.set(
     'ide_translateback(text)',
     function (text, proc) {
-        var dict = SnapTranslator.dict[SnapTranslator.language];
+        var dict;
+        if (proc.enableHyperOps) {
+            if (text instanceof List) {
+                return text.map(each =>
+                    SnapExtensions.primitives.get('ide_translateback(text)')
+                        (each, proc)
+                );
+            }
+        }
+        dict = SnapTranslator.dict[SnapTranslator.language];
         proc.assertType(text, 'text');
         return detect(
             Object.keys(dict),