PPX: promote changes

Signed-off-by: Kakadu <[email protected]>

Author: Kakadu

regression_ppx/test012.t

@@ -2,10 +2,10 @@
   let () = print_endline "test012"
   include
     struct
-      type ('a, 'a0) targ_fuly =
+      type nonrec ('a, 'a0) targ_fuly =
         | T of 'a0 * 'a 
         | TNoarg [@@deriving gt ~options:{ gmap }]
-      type ('a, 'a1, 'a0) jtyp_fuly =
+      type nonrec ('a, 'a1, 'a0) jtyp_fuly =
         | Array of 'a1 
         | V of 'a0 
         | Other of 'a [@@deriving gt ~options:{ gmap }]

regression_ppx/test013.t

@@ -43,10 +43,10 @@
     end
   include
     struct
-      type ('a1, 'a0) targ_fuly =
+      type nonrec ('a1, 'a0) targ_fuly =
         | T of 'a1 
         | Wildcard of 'a0 [@@deriving gt ~options:{ gmap }]
-      type ('a6, 'a5, 'a4, 'a3, 'a2, 'a1, 'a0) jtype_fuly =
+      type nonrec ('a6, 'a5, 'a4, 'a3, 'a2, 'a1, 'a0) jtype_fuly =
         | Array of 'a0 
         | Class of 'a4 * 'a6 
         | Interface of 'a4 * 'a5