Split a test into two tests.

test/expr_info_polymorphic.ml

 type 'info expr_node =
-  | EConst of (int[@opaque])
+  | EConst of int
   | EAdd of 'info expr * 'info expr
 
 and 'info expr =
   { info: 'info; node: 'info expr_node }
 
-[@@deriving visitors { variety = "iter"; polymorphic = true },
-            visitors { variety = "map"; polymorphic = true },
-            visitors { variety = "endo"; polymorphic = true },
-            visitors { variety = "reduce"; polymorphic = true },
-            visitors { variety = "mapreduce"; polymorphic = true },
-            visitors { variety = "iter2"; polymorphic = true },
-            visitors { variety = "map2"; polymorphic = true },
-            visitors { variety = "reduce2"; polymorphic = true },
-            visitors { variety = "mapreduce2"; polymorphic = true }]
+[@@deriving visitors
+  { variety = "map"; polymorphic = true; data = false }]

test/misc.mllib

@@ -8,4 +8,5 @@ test00
 test01
 test02
 test03
+test04
 testallprims

test/test04.ml

+type 'info expr_node =
+  | EConst of int
+  | EAdd of 'info expr * 'info expr
+
+and 'info expr =
+  { info: 'info; node: 'info expr_node }
+
+[@@deriving visitors { variety = "iter"; polymorphic = true },
+            visitors { variety = "map"; polymorphic = true },
+            visitors { variety = "endo"; polymorphic = true },
+            visitors { variety = "reduce"; polymorphic = true },
+            visitors { variety = "mapreduce"; polymorphic = true },
+            visitors { variety = "iter2"; polymorphic = true },
+            visitors { variety = "map2"; polymorphic = true },
+            visitors { variety = "reduce2"; polymorphic = true },
+            visitors { variety = "mapreduce2"; polymorphic = true }]