diff --git a/pkgs/racket-test-core/tests/racket/macro.rktl b/pkgs/racket-test-core/tests/racket/macro.rktl
index 8b3cdc8357..515233e646 100644
--- a/pkgs/racket-test-core/tests/racket/macro.rktl
+++ b/pkgs/racket-test-core/tests/racket/macro.rktl
@@ -762,8 +762,8 @@
         #:trim-error #rx"^[^\n]*\n[^\n]*")
   
   (define (in-defctx s) `(let () ,s))
-  (test '("(#(struct:liberal-define-context))\n10\n" "") go '(definition-context expression) in-defctx 'prop:procedure)
-  (test '("(#(struct:liberal-define-context))\n10\n" "") go '(definition-context) in-defctx 'prop:procedure)
+  (test '("(#<liberal-define-context>)\n10\n" "") go '(definition-context expression) in-defctx 'prop:procedure)
+  (test '("(#<liberal-define-context>)\n10\n" "") go '(definition-context) in-defctx 'prop:procedure)
   (test '("expression\n10\n" "") go '(expression) in-defctx 'prop:procedure)
   (test '("" "m: not allowed in context\n  expansion context: definition-context") go '() in-defctx 'prop:procedure
         #:trim-error #rx"^[^\n]*\n[^\n]*")
diff --git a/pkgs/racket-test-core/tests/racket/name.rktl b/pkgs/racket-test-core/tests/racket/name.rktl
index f97f417b55..d3052786c8 100644
--- a/pkgs/racket-test-core/tests/racket/name.rktl
+++ b/pkgs/racket-test-core/tests/racket/name.rktl
@@ -214,4 +214,10 @@
 (test 'date*? object-name date*?)
 (test 'date-second object-name date-second)
 
+;; Check that `object-name` produces #f for some primitive value types
+;; that might happen to be implemented with structures at some level
+(test #f object-name (make-thread-group))
+(test #f object-name (current-directory))
+(test #f object-name (quote-syntax x))
+
 (report-errs)
diff --git a/racket/src/bc/src/fun.c b/racket/src/bc/src/fun.c
index 591008b16b..a7e1bfb811 100644
--- a/racket/src/bc/src/fun.c
+++ b/racket/src/bc/src/fun.c
@@ -2715,7 +2715,8 @@ Scheme_Object *scheme_object_name(Scheme_Object *a)
   }
 
   if (SCHEME_STRUCTP(a)) {
-    return SCHEME_STRUCT_NAME_SYM(a);
+    if (!(SCHEME_STRUCT_TYPE(a)->more_flags & STRUCT_TYPE_FLAG_SYSTEM_OPAQUE))
+      return SCHEME_STRUCT_NAME_SYM(a);
   } else if (SCHEME_PROCP(a)) {
     const char *s;
     int len;
diff --git a/racket/src/bc/src/optimize.c b/racket/src/bc/src/optimize.c
index 85be33e7bc..76c247a709 100644
--- a/racket/src/bc/src/optimize.c
+++ b/racket/src/bc/src/optimize.c
@@ -1470,7 +1470,7 @@ static int ok_constant_super_value(void *data, Scheme_Object *v, int mode)
       Scheme_Struct_Type *st = (Scheme_Struct_Type *)v;
       if (st->num_slots == st->num_islots) {
         if (_nonfail_constr)
-          *_nonfail_constr = st->nonfail_constructor;
+          *_nonfail_constr = (st->more_flags & STRUCT_TYPE_FLAG_NONFAIL_CONSTRUCTOR);
         if (_prefab)
           *_prefab = !!st->prefab_key;
         return st->num_slots + 1;
diff --git a/racket/src/bc/src/schpriv.h b/racket/src/bc/src/schpriv.h
index beab24317f..cf4f47f786 100644
--- a/racket/src/bc/src/schpriv.h
+++ b/racket/src/bc/src/schpriv.h
@@ -1096,7 +1096,8 @@ typedef struct Scheme_Struct_Type {
   mzshort num_islots; /* initialized + parent-initialized */
   mzshort name_pos;
   char authentic; /* 1 => chaperones/impersonators disallowed */
-  char nonfail_constructor; /* 1 => constructor never fails */
+  char more_flags; /* STRUCT_TYPE_FLAG_NONFAIL_CONSTRUCTOR => constructor never fails
+                      STRUCT_TYPE_FLAG_SYSTEM_OPAQUE => #f for `object-name`, for example */
 
   Scheme_Object *name;
 
@@ -1127,6 +1128,10 @@ typedef struct Scheme_Struct_Type {
 #define STRUCT_TYPE_ALL_IMMUTABLE 0x1
 #define STRUCT_TYPE_CHECKED_PROC  0x2
 
+/* for `more_flags` field */
+#define STRUCT_TYPE_FLAG_NONFAIL_CONSTRUCTOR 0x1
+#define STRUCT_TYPE_FLAG_SYSTEM_OPAQUE       0x2
+
 typedef struct Scheme_Structure
 {
   Scheme_Object so;
diff --git a/racket/src/bc/src/startup.inc b/racket/src/bc/src/startup.inc
index b3831e0798..6aa9f1037a 100644
--- a/racket/src/bc/src/startup.inc
+++ b/racket/src/bc/src/startup.inc
@@ -43778,7 +43778,7 @@ static const char *startup_source =
 " 0"
 " #f"
 "(list(cons 1/prop:liberal-define-context #t))"
-" #f"
+"(current-inspector)"
 " #f"
 " '()"
 " #f"
diff --git a/racket/src/bc/src/struct.c b/racket/src/bc/src/struct.c
index 0489cdfb83..c48849cb24 100644
--- a/racket/src/bc/src/struct.c
+++ b/racket/src/bc/src/struct.c
@@ -3431,7 +3431,7 @@ intptr_t scheme_get_or_check_structure_shape(Scheme_Object *e, Scheme_Object *ex
                 | ((st->authentic && (!expected || (v & STRUCT_PROC_SHAPE_AUTHENTIC)))
                    ? STRUCT_PROC_SHAPE_AUTHENTIC
                    : 0)
-                | ((st->nonfail_constructor
+                | (((st->more_flags & STRUCT_TYPE_FLAG_NONFAIL_CONSTRUCTOR)
                     && (!expected || (v & STRUCT_PROC_SHAPE_NONFAIL_CONSTR)))
                    ? STRUCT_PROC_SHAPE_NONFAIL_CONSTR
                    : 0)
@@ -3448,7 +3448,7 @@ intptr_t scheme_get_or_check_structure_shape(Scheme_Object *e, Scheme_Object *ex
       st = (Scheme_Struct_Type *)SCHEME_PRIM_CLOSURE_ELS(e)[0];
       want_v = ((st->num_islots << STRUCT_PROC_SHAPE_SHIFT)
                 | STRUCT_PROC_SHAPE_CONSTR
-                | ((st->nonfail_constructor
+                | (((st->more_flags & STRUCT_TYPE_FLAG_NONFAIL_CONSTRUCTOR)
                     && (!expected || (v & STRUCT_PROC_SHAPE_NONFAIL_CONSTR)))
                    ? STRUCT_PROC_SHAPE_NONFAIL_CONSTR
                    : 0));
@@ -4752,7 +4752,7 @@ Scheme_Struct_Type *scheme_make_prefab_struct_type_raw(Scheme_Object *base,
   struct_type->num_islots = num_fields + (parent_type ? parent_type->num_islots : 0);
   struct_type->name_pos = depth;
   struct_type->authentic = 0;
-  struct_type->nonfail_constructor = 1;
+  struct_type->more_flags = STRUCT_TYPE_FLAG_NONFAIL_CONSTRUCTOR;
   struct_type->inspector = scheme_false;
   struct_type->uninit_val = uninit_val;
   struct_type->props = NULL;
@@ -4819,7 +4819,12 @@ static Scheme_Object *_make_struct_type(Scheme_Object *name,
   }
 
   struct_type->name = name;
-  struct_type->nonfail_constructor = (parent_type ? parent_type->nonfail_constructor : 1);
+  struct_type->more_flags = ((parent_type
+                              ? (parent_type->more_flags & STRUCT_TYPE_FLAG_NONFAIL_CONSTRUCTOR)
+                              : STRUCT_TYPE_FLAG_NONFAIL_CONSTRUCTOR)
+                             | ((scheme_starting_up && inspector)
+                                ? STRUCT_TYPE_FLAG_SYSTEM_OPAQUE
+                                : 0));
 
   struct_type->num_slots = num_fields + num_uninit_fields + (parent_type ? parent_type->num_slots : 0);
   struct_type->num_islots = num_fields + (parent_type ? parent_type->num_islots : 0);
@@ -5083,7 +5088,7 @@ static Scheme_Object *_make_struct_type(Scheme_Object *name,
     }
     
     struct_type->guard = guard;
-    struct_type->nonfail_constructor = 0;
+    struct_type->more_flags = 0;
   } else if (chaperone_undefined) {
     struct_type->guard = scheme_undefined;
   }
@@ -5091,7 +5096,7 @@ static Scheme_Object *_make_struct_type(Scheme_Object *name,
   if (parent && SCHEME_NP_CHAPERONEP(parent)) {
     guard = add_struct_type_chaperone_guards(parent, struct_type->guard);
     struct_type->guard = guard;
-    struct_type->nonfail_constructor = 0;
+    struct_type->more_flags = 0;
   }
 
   if (checked_proc)
@@ -5162,7 +5167,7 @@ Scheme_Object *scheme_make_struct_type_from_string(const char *name,
                         guard);
 
   if (scheme_starting_up)
-    /* Force allocation for a strcuture type that may be in the master GC: */
+    /* Force allocation for a struc<ture type that may be in the master GC: */
     scheme_force_struct_type_info((Scheme_Struct_Type *)r);
 
   return r;
diff --git a/racket/src/cs/rumble/object-name.ss b/racket/src/cs/rumble/object-name.ss
index f50c7d65c9..0357c1ca36 100644
--- a/racket/src/cs/rumble/object-name.ss
+++ b/racket/src/cs/rumble/object-name.ss
@@ -55,7 +55,8 @@
    [(procedure? v)
     (extract-procedure-name v)]
    [(struct-type? v)
-    (record-type-name v)]
+    (and (not (eq? (inspector-ref v) none))
+         (record-type-name v))]
    [(struct-type-property? v)
     (struct-type-prop-name v)]
    [(record? v)
diff --git a/racket/src/cs/rumble/struct.ss b/racket/src/cs/rumble/struct.ss
index ae678d7b2a..7614272ddb 100644
--- a/racket/src/cs/rumble/struct.ss
+++ b/racket/src/cs/rumble/struct.ss
@@ -173,6 +173,8 @@
             (and parent
                  (inspector-superior? sup-insp parent))))))
 
+;; result can be 'prefab, #f, an inspector, or `none`, where
+;; `none` is the result for opaque "system" records
 (define (inspector-ref rtd)
   (getprop (record-type-uid rtd) 'inspector none))
 
@@ -572,7 +574,7 @@
    [(rtd name init-count auto-count parent-rtd props insp proc-spec immutables guard constructor-name install-props!)
     (let ([install-props!
            (or install-props!
-               (check-make-struct-type-arguments 'make-struct-type name parent-rtd init-count auto-count
+               (check-make-struct-type-arguments 'make-struct-type (if (pair? name) (car name) name) parent-rtd init-count auto-count
                                                  props insp proc-spec immutables guard constructor-name))])
       (unless (eq? insp 'prefab) ; everything for prefab must be covered in `prefab-key+count->rtd`
         (let* ([parent-rtd* (strip-impersonator parent-rtd)]
@@ -603,7 +605,8 @@
           ;; Finish checking and install new property values:
           (install-props! rtd parent-rtd* all-immutables)
           ;; Record inspector
-          (inspector-set! rtd insp)
+          (unless (pair? name) ; pair implies a system structure type
+            (inspector-set! rtd insp))
           ;; Register guard
           (register-guards! rtd parent-rtd guard 'at-start))))]))
 
diff --git a/racket/src/cs/schemified/expander.scm b/racket/src/cs/schemified/expander.scm
index 4e909afd45..d0408c1d34 100644
--- a/racket/src/cs/schemified/expander.scm
+++ b/racket/src/cs/schemified/expander.scm
@@ -3931,10 +3931,10 @@
    #f
    5
    30))
-(define effect_2100
+(define effect_2695
   (struct-type-install-properties!
    struct:region
-   'region
+   '(region)
    5
    0
    #f
@@ -4113,10 +4113,10 @@
    #f
    3
    7))
-(define effect_2634
+(define effect_2612
   (struct-type-install-properties!
    struct:stat
-   'stat
+   '(stat)
    3
    0
    #f
@@ -5414,10 +5414,10 @@
    #f
    1
    0))
-(define effect_2495
+(define effect_2381
   (struct-type-install-properties!
    struct:weak-intern-table
-   'weak-intern-table
+   '(weak-intern-table)
    1
    0
    #f
@@ -5447,10 +5447,10 @@
    #f
    3
    0))
-(define effect_2793
+(define effect_2163
   (struct-type-install-properties!
    struct:table
-   'table
+   '(table)
    3
    0
    #f
@@ -5648,10 +5648,10 @@
    #f
    1
    0))
-(define effect_1951
+(define effect_2789
   (struct-type-install-properties!
    struct:resolved-module-path
-   'resolved-module-path
+   '(resolved-module-path)
    1
    0
    #f
@@ -5829,10 +5829,10 @@
    #f
    4
    12))
-(define effect_2287
+(define effect_3060
   (struct-type-install-properties!
    struct:module-path-index
-   'module-path-index
+   '(module-path-index)
    4
    0
    #f
@@ -6524,10 +6524,10 @@
    #f
    2
    3))
-(define effect_2288
+(define effect_2512
   (struct-type-install-properties!
    struct:promise
-   'promise
+   '(promise)
    2
    0
    #f
@@ -6591,10 +6591,10 @@
    #f
    12
    0))
-(define effect_2227
+(define effect_2433
   (struct-type-install-properties!
    struct:serialize-state
-   'serialize-state
+   '(serialize-state)
    12
    0
    #f
@@ -7212,10 +7212,10 @@
    #f
    1
    0))
-(define effect_2975
+(define effect_2856
   (struct-type-install-properties!
    struct:preserved-property-value
-   'preserved-property-value
+   '(preserved-property-value)
    1
    0
    #f
@@ -7425,10 +7425,10 @@
    #f
    2
    0))
-(define effect_2941
+(define effect_2273
   (struct-type-install-properties!
    struct:modified-content
-   'modified-content
+   '(modified-content)
    2
    0
    #f
@@ -7462,10 +7462,10 @@
    #f
    7
    1))
-(define effect_2357
+(define effect_2877
   (struct-type-install-properties!
    struct:syntax
-   'syntax
+   '(syntax)
    7
    0
    #f
@@ -8050,10 +8050,10 @@
    #f
    3
    1))
-(define effect_2807
+(define effect_2886
   (struct-type-install-properties!
    struct:syntax-state
-   'syntax-state
+   '(syntax-state)
    3
    0
    #f
@@ -8176,10 +8176,10 @@
    #f
    2
    0))
-(define effect_2547
+(define effect_3190
   (struct-type-install-properties!
    struct:full-binding
-   'full-binding
+   '(full-binding)
    2
    0
    #f
@@ -8352,10 +8352,10 @@
    #f
    9
    0))
-(define effect_2899
+(define effect_2690
   (struct-type-install-properties!
    struct:full-module-binding
-   'full-module-binding
+   '(full-module-binding)
    9
    0
    struct:full-binding
@@ -8459,10 +8459,10 @@
    #f
    4
    0))
-(define effect_2189
+(define effect_2369
   (struct-type-install-properties!
    struct:simple-module-binding
-   'simple-module-binding
+   '(simple-module-binding)
    4
    0
    #f
@@ -8588,10 +8588,10 @@
    #f
    3
    0))
-(define effect_2548
+(define effect_2600
   (struct-type-install-properties!
    struct:table-with-bulk-bindings
-   'table-with-bulk-bindings
+   '(table-with-bulk-bindings)
    3
    0
    #f
@@ -8647,10 +8647,10 @@
    #f
    2
    0))
-(define effect_2443
+(define effect_2624
   (struct-type-install-properties!
    struct:bulk-binding-at
-   'bulk-binding-at
+   '(bulk-binding-at)
    2
    0
    #f
@@ -8696,10 +8696,10 @@
    #f
    2
    0))
-(define effect_2256
+(define effect_2865
   (struct-type-install-properties!
    struct:bulk-binding-class
-   'bulk-binding-class
+   '(bulk-binding-class)
    2
    0
    #f
@@ -10192,10 +10192,10 @@
    #f
    1
    1))
-(define effect_2018
+(define effect_2304
   (struct-type-install-properties!
    struct:fallback
-   'fallback
+   '(fallback)
    1
    0
    #f
@@ -10314,10 +10314,10 @@
    #f
    4
    0))
-(define effect_2205
+(define effect_2019
   (struct-type-install-properties!
    struct:entry
-   'entry
+   '(entry)
    4
    0
    #f
@@ -10376,10 +10376,10 @@
    #f
    3
    0))
-(define effect_2339
+(define effect_2850
   (struct-type-install-properties!
    struct:shifted-entry
-   'shifted-entry
+   '(shifted-entry)
    3
    0
    #f
@@ -10586,10 +10586,10 @@
    #f
    3
    4))
-(define effect_2612
+(define effect_2404
   (struct-type-install-properties!
    struct:scope
-   'scope
+   '(scope)
    3
    0
    #f
@@ -10671,10 +10671,10 @@
    #f
    1
    0))
-(define effect_2683
+(define effect_2647
   (struct-type-install-properties!
    struct:interned-scope
-   'interned-scope
+   '(interned-scope)
    1
    0
    struct:scope
@@ -10724,10 +10724,10 @@
    #f
    5
    0))
-(define effect_2089
+(define effect_2724
   (struct-type-install-properties!
    struct:multi-scope
-   'multi-scope
+   '(multi-scope)
    5
    0
    #f
@@ -10871,10 +10871,10 @@
    #f
    2
    3))
-(define effect_2236
+(define effect_2909
   (struct-type-install-properties!
    struct:representative-scope
-   'representative-scope
+   '(representative-scope)
    2
    0
    struct:scope
@@ -10970,10 +10970,10 @@
    #f
    2
    0))
-(define effect_3041
+(define effect_2293
   (struct-type-install-properties!
    struct:shifted-multi-scope
-   'shifted-multi-scope
+   '(shifted-multi-scope)
    2
    0
    #f
@@ -11078,10 +11078,10 @@
    #f
    1
    1))
-(define effect_2490
+(define effect_2767
   (struct-type-install-properties!
    struct:shifted-to-label-phase
-   'shifted-to-label-phase
+   '(shifted-to-label-phase)
    1
    0
    #f
@@ -11942,10 +11942,10 @@
    #f
    7
    0))
-(define effect_2826
+(define effect_2715
   (struct-type-install-properties!
    struct:propagation
-   'propagation
+   '(propagation)
    7
    0
    #f
@@ -13318,10 +13318,10 @@
    #f
    1
    0))
-(define effect_2203
+(define effect_2682
   (struct-type-install-properties!
    struct:full-local-binding
-   'full-local-binding
+   '(full-local-binding)
    1
    0
    struct:full-binding
@@ -13453,10 +13453,10 @@
    #f
    1
    0))
-(define effect_2777
+(define effect_2553
   (struct-type-install-properties!
    struct:id-rename-transformer
-   'rename-transformer
+   '(rename-transformer)
    1
    0
    #f
@@ -13697,10 +13697,10 @@
    #f
    2
    3))
-(define effect_2830
+(define effect_2158
   (struct-type-install-properties!
    struct:non-source-shift
-   'non-source-shift
+   '(non-source-shift)
    2
    0
    #f
@@ -14245,10 +14245,10 @@
    #f
    3
    0))
-(define effect_2693
+(define effect_1918
   (struct-type-install-properties!
    struct:provided
-   'provided
+   '(provided)
    3
    0
    #f
@@ -14329,10 +14329,10 @@
    #f
    8
    9))
-(define effect_2831
+(define effect_2716
   (struct-type-install-properties!
    struct:bulk-binding
-   'bulk-binding
+   '(bulk-binding)
    8
    0
    #f
@@ -14527,10 +14527,10 @@
    #f
    2
    0))
-(define effect_2367
+(define effect_2011
   (struct-type-install-properties!
    struct:bulk-provide
-   'bulk-provide
+   '(bulk-provide)
    2
    0
    #f
@@ -14598,10 +14598,10 @@
    #f
    1
    0))
-(define effect_2382
+(define effect_2308
   (struct-type-install-properties!
    struct:bulk-binding-registry
-   'bulk-binding-registry
+   '(bulk-binding-registry)
    1
    0
    #f
@@ -14672,10 +14672,10 @@
    #f
    4
    0))
-(define effect_2573
+(define effect_2392
   (struct-type-install-properties!
    struct:root-expand-context/outer
-   'root-expand-context
+   '(root-expand-context)
    4
    0
    #f
@@ -14722,10 +14722,10 @@
    #f
    7
    0))
-(define effect_2774
+(define effect_2714
   (struct-type-install-properties!
    struct:root-expand-context/inner
-   'root-expand-context/inner
+   '(root-expand-context/inner)
    7
    0
    #f
@@ -15281,10 +15281,10 @@
    #f
    2
    0))
-(define effect_2643
+(define effect_2880
   (struct-type-install-properties!
    struct:module-registry
-   'module-registry
+   '(module-registry)
    2
    0
    #f
@@ -15401,10 +15401,10 @@
    #f
    15
    4096))
-(define effect_2781
+(define effect_3044
   (struct-type-install-properties!
    struct:namespace
-   'namespace
+   '(namespace)
    15
    0
    #f
@@ -15496,10 +15496,10 @@
    #f
    2
    0))
-(define effect_2279
+(define effect_2104
   (struct-type-install-properties!
    struct:definitions
-   'definitions
+   '(definitions)
    2
    0
    #f
@@ -16027,10 +16027,10 @@
    #f
    1
    0))
-(define effect_2741
+(define effect_2958
   (struct-type-install-properties!
    struct:syntax-binding-set
-   'syntax-binding-set
+   '(syntax-binding-set)
    1
    0
    #f
@@ -16084,10 +16084,10 @@
    #f
    3
    0))
-(define effect_3043
+(define effect_2143
   (struct-type-install-properties!
    struct:bind
-   'bind
+   '(bind)
    3
    0
    #f
@@ -16556,10 +16556,10 @@
    #f
    2
    0))
-(define effect_2861
+(define effect_2205
   (struct-type-install-properties!
    struct:module-use
-   'module-use
+   '(module-use)
    2
    0
    #f
@@ -16661,10 +16661,10 @@
    #f
    20
    16))
-(define effect_2359
+(define effect_2306
   (struct-type-install-properties!
    struct:module
-   'module
+   '(module)
    20
    0
    #f
@@ -16732,10 +16732,10 @@
    #f
    6
    0))
-(define effect_2516
+(define effect_2348
   (struct-type-install-properties!
    struct:module-linklet-info
-   'module-linklet-info
+   '(module-linklet-info)
    6
    0
    #f
@@ -16845,10 +16845,10 @@
    #f
    7
    52))
-(define effect_2597
+(define effect_3032
   (struct-type-install-properties!
    struct:module-instance
-   'module-instance
+   '(module-instance)
    7
    0
    #f
@@ -18405,7 +18405,7 @@
     (let ((effect699
            (struct-type-install-properties!
             struct:set!-transformer_0
-            'set!-transformer
+            '(set!-transformer)
             1
             0
             #f
@@ -18496,10 +18496,10 @@
    #f
    1
    0))
-(define effect_2447
+(define effect_2425
   (struct-type-install-properties!
    struct:local-variable
-   'local-variable
+   '(local-variable)
    1
    0
    #f
@@ -18562,10 +18562,10 @@
    #f
    2
    0))
-(define effect_2019
+(define effect_2887
   (struct-type-install-properties!
    struct:core-form
-   'core-form
+   '(core-form)
    2
    0
    #f
@@ -18858,10 +18858,10 @@
    #f
    11
    0))
-(define effect_2428
+(define effect_2593
   (struct-type-install-properties!
    struct:expand-context/outer
-   'expand-context
+   '(expand-context)
    11
    0
    struct:root-expand-context/outer
@@ -18931,10 +18931,10 @@
    #f
    22
    0))
-(define effect_2689
+(define effect_2402
   (struct-type-install-properties!
    struct:expand-context/inner
-   'expand-context/inner
+   '(expand-context/inner)
    22
    0
    struct:root-expand-context/inner
@@ -19653,7 +19653,7 @@
            (expand-context/outer-current-use-scopes ctx_0)
            (expand-context/outer-name ctx_0))))
       (raise-argument-error 'struct-copy "expand-context/outer?" ctx_0))))
-(define effect_2553
+(define effect_2554
   (begin
     (|#%call-with-values|
      (lambda ()
@@ -21390,10 +21390,10 @@
    #f
    7
    0))
-(define effect_3051
+(define effect_2773
   (struct-type-install-properties!
    struct:compile-context
-   'compile-context
+   '(compile-context)
    7
    0
    #f
@@ -23882,10 +23882,10 @@
    #f
    2
    0))
-(define effect_2419
+(define effect_2544
   (struct-type-install-properties!
    struct:mpi-intern-table
-   'mpi-intern-table
+   '(mpi-intern-table)
    2
    0
    #f
@@ -24137,10 +24137,10 @@
    #f
    2
    0))
-(define effect_2891
+(define effect_2393
   (struct-type-install-properties!
    struct:module-path-index-table
-   'module-path-index-table
+   '(module-path-index-table)
    2
    0
    #f
@@ -27999,10 +27999,10 @@
    #f
    1
    0))
-(define effect_3163
+(define effect_2993
   (struct-type-install-properties!
    struct:parsed
-   'parsed
+   '(parsed)
    1
    0
    #f
@@ -28028,10 +28028,10 @@
    #f
    2
    0))
-(define effect_2786
+(define effect_2378
   (struct-type-install-properties!
    struct:parsed-id
-   'parsed-id
+   '(parsed-id)
    2
    0
    struct:parsed
@@ -28060,10 +28060,10 @@
    #f
    0
    0))
-(define effect_2054
+(define effect_2609
   (struct-type-install-properties!
    struct:parsed-primitive-id
-   'parsed-primitive-id
+   '(parsed-primitive-id)
    0
    0
    struct:parsed-id
@@ -28091,10 +28091,10 @@
    #f
    0
    0))
-(define effect_3596
+(define effect_2611
   (struct-type-install-properties!
    struct:parsed-top-id
-   'parsed-top-id
+   '(parsed-top-id)
    0
    0
    struct:parsed-id
@@ -28120,10 +28120,10 @@
    #f
    2
    0))
-(define effect_2929
+(define effect_2651
   (struct-type-install-properties!
    struct:parsed-lambda
-   'parsed-lambda
+   '(parsed-lambda)
    2
    0
    struct:parsed
@@ -28153,10 +28153,10 @@
    #f
    1
    0))
-(define effect_2379
+(define effect_2439
   (struct-type-install-properties!
    struct:parsed-case-lambda
-   'parsed-case-lambda
+   '(parsed-case-lambda)
    1
    0
    struct:parsed
@@ -28186,10 +28186,10 @@
    #f
    2
    0))
-(define effect_3155
+(define effect_2370
   (struct-type-install-properties!
    struct:parsed-app
-   'parsed-app
+   '(parsed-app)
    2
    0
    struct:parsed
@@ -28219,10 +28219,10 @@
    #f
    3
    0))
-(define effect_2697
+(define effect_2879
   (struct-type-install-properties!
    struct:parsed-if
-   'parsed-if
+   '(parsed-if)
    3
    0
    struct:parsed
@@ -28253,10 +28253,10 @@
    #f
    2
    0))
-(define effect_2794
+(define effect_2344
   (struct-type-install-properties!
    struct:parsed-set!
-   'parsed-set!
+   '(parsed-set!)
    2
    0
    struct:parsed
@@ -28286,10 +28286,10 @@
    #f
    3
    0))
-(define effect_2695
+(define effect_1825
   (struct-type-install-properties!
    struct:parsed-with-continuation-mark
-   'parsed-with-continuation-mark
+   '(parsed-with-continuation-mark)
    3
    0
    struct:parsed
@@ -28332,10 +28332,10 @@
    #f
    1
    0))
-(define effect_2144
+(define effect_2513
   (struct-type-install-properties!
    |struct:parsed-#%variable-reference|
-   '|parsed-#%variable-reference|
+   '(|parsed-#%variable-reference|)
    1
    0
    struct:parsed
@@ -28370,10 +28370,10 @@
    #f
    1
    0))
-(define effect_2775
+(define effect_2746
   (struct-type-install-properties!
    struct:parsed-begin
-   'parsed-begin
+   '(parsed-begin)
    1
    0
    struct:parsed
@@ -28401,10 +28401,10 @@
    #f
    1
    0))
-(define effect_2776
+(define effect_2747
   (struct-type-install-properties!
    struct:parsed-begin0
-   'parsed-begin0
+   '(parsed-begin0)
    1
    0
    struct:parsed
@@ -28432,10 +28432,10 @@
    #f
    1
    0))
-(define effect_2325
+(define effect_2069
   (struct-type-install-properties!
    struct:parsed-quote
-   'parsed-quote
+   '(parsed-quote)
    1
    0
    struct:parsed
@@ -28463,10 +28463,10 @@
    #f
    1
    0))
-(define effect_2251
+(define effect_2768
   (struct-type-install-properties!
    struct:parsed-quote-syntax
-   'parsed-quote-syntax
+   '(parsed-quote-syntax)
    1
    0
    struct:parsed
@@ -28498,10 +28498,10 @@
    #f
    3
    0))
-(define effect_2852
+(define effect_2095
   (struct-type-install-properties!
    struct:parsed-let_-values
-   'parsed-let_-values
+   '(parsed-let_-values)
    3
    0
    struct:parsed
@@ -28539,10 +28539,10 @@
    #f
    0
    0))
-(define effect_2084
+(define effect_2152
   (struct-type-install-properties!
    struct:parsed-let-values
-   'parsed-let-values
+   '(parsed-let-values)
    0
    0
    struct:parsed-let_-values
@@ -28568,10 +28568,10 @@
    #f
    0
    0))
-(define effect_2229
+(define effect_2829
   (struct-type-install-properties!
    struct:parsed-letrec-values
-   'parsed-letrec-values
+   '(parsed-letrec-values)
    0
    0
    struct:parsed-let_-values
@@ -28599,10 +28599,10 @@
    #f
    3
    0))
-(define effect_2623
+(define effect_2646
   (struct-type-install-properties!
    struct:parsed-define-values
-   'parsed-define-values
+   '(parsed-define-values)
    3
    0
    struct:parsed
@@ -28642,10 +28642,10 @@
    #f
    3
    0))
-(define effect_1737
+(define effect_2421
   (struct-type-install-properties!
    struct:parsed-define-syntaxes
-   'parsed-define-syntaxes
+   '(parsed-define-syntaxes)
    3
    0
    struct:parsed
@@ -28685,10 +28685,10 @@
    #f
    1
    0))
-(define effect_2654
+(define effect_2080
   (struct-type-install-properties!
    struct:parsed-begin-for-syntax
-   'parsed-begin-for-syntax
+   '(parsed-begin-for-syntax)
    1
    0
    struct:parsed
@@ -28723,10 +28723,10 @@
    #f
    0
    0))
-(define effect_2737
+(define effect_1669
   (struct-type-install-properties!
    |struct:parsed-#%declare|
-   '|parsed-#%declare|
+   '(|parsed-#%declare|)
    0
    0
    struct:parsed
@@ -28752,10 +28752,10 @@
    #f
    0
    0))
-(define effect_2525
+(define effect_2183
   (struct-type-install-properties!
    struct:parsed-require
-   'parsed-require
+   '(parsed-require)
    0
    0
    struct:parsed
@@ -28781,10 +28781,10 @@
    #f
    1
    0))
-(define effect_2329
+(define effect_2305
   (struct-type-install-properties!
    |struct:parsed-#%module-begin|
-   '|parsed-#%module-begin|
+   '(|parsed-#%module-begin|)
    1
    0
    struct:parsed
@@ -28819,10 +28819,10 @@
    #f
    10
    0))
-(define effect_2380
+(define effect_2478
   (struct-type-install-properties!
    struct:parsed-module
-   'parsed-module
+   '(parsed-module)
    10
    0
    struct:parsed
@@ -28956,10 +28956,10 @@
    #f
    9
    384))
-(define effect_2981
+(define effect_2932
   (struct-type-install-properties!
    struct:requires+provides
-   'requires+provides
+   '(requires+provides)
    9
    0
    #f
@@ -29029,10 +29029,10 @@
    #f
    4
    0))
-(define effect_2154
+(define effect_2324
   (struct-type-install-properties!
    struct:required
-   'required
+   '(required)
    4
    0
    #f
@@ -29064,10 +29064,10 @@
    #f
    4
    0))
-(define effect_3046
+(define effect_1895
   (struct-type-install-properties!
    struct:nominal
-   'nominal
+   '(nominal)
    4
    0
    #f
@@ -29099,10 +29099,10 @@
    #f
    5
    0))
-(define effect_2563
+(define effect_2708
   (struct-type-install-properties!
    struct:bulk-required
-   'bulk-required
+   '(bulk-required)
    5
    0
    #f
@@ -30548,10 +30548,10 @@
    #f
    1
    0))
-(define effect_2795
+(define effect_2628
   (struct-type-install-properties!
    struct:adjust-only
-   'adjust-only
+   '(adjust-only)
    1
    0
    #f
@@ -30601,10 +30601,10 @@
    #f
    1
    0))
-(define effect_2782
+(define effect_3295
   (struct-type-install-properties!
    struct:adjust-prefix
-   'adjust-prefix
+   '(adjust-prefix)
    1
    0
    #f
@@ -30656,10 +30656,10 @@
    #f
    2
    0))
-(define effect_3032
+(define effect_2268
   (struct-type-install-properties!
    struct:adjust-all-except
-   'adjust-all-except
+   '(adjust-all-except)
    2
    0
    #f
@@ -30731,10 +30731,10 @@
    #f
    2
    0))
-(define effect_2135
+(define effect_2090
   (struct-type-install-properties!
    struct:adjust-rename
-   'adjust-rename
+   '(adjust-rename)
    2
    0
    #f
@@ -33641,10 +33641,10 @@
    #f
    13
    0))
-(define effect_2489
+(define effect_2681
   (struct-type-install-properties!
    struct:compiled-in-memory
-   'compiled-in-memory
+   '(compiled-in-memory)
    13
    0
    #f
@@ -33983,10 +33983,10 @@
    #f
    3
    4))
-(define effect_2480
+(define effect_2157
   (struct-type-install-properties!
    struct:correlated-linklet
-   'correlated-linklet
+   '(correlated-linklet)
    3
    0
    #f
@@ -34063,10 +34063,10 @@
    #f
    7
    127))
-(define effect_2267
+(define effect_2166
   (struct-type-install-properties!
    struct:faslable-correlated
-   'faslable-correlated
+   '(faslable-correlated)
    7
    0
    #f
@@ -34236,10 +34236,10 @@
    #f
    2
    3))
-(define effect_2546
+(define effect_2697
   (struct-type-install-properties!
    struct:faslable-correlated-linklet
-   'faslable-correlated-linklet
+   '(faslable-correlated-linklet)
    2
    0
    #f
@@ -34986,10 +34986,10 @@
    #f
    1
    0))
-(define effect_2457
+(define effect_3250
   (struct-type-install-properties!
    struct:linklet-directory
-   'linklet-directory
+   '(linklet-directory)
    1
    0
    #f
@@ -35050,10 +35050,10 @@
    #f
    1
    0))
-(define effect_2330
+(define effect_2977
   (struct-type-install-properties!
    struct:linklet-bundle
-   'linklet-bundle
+   '(linklet-bundle)
    1
    0
    #f
@@ -35277,10 +35277,10 @@
    #f
    2
    3))
-(define effect_2470
+(define effect_2322
   (struct-type-install-properties!
    struct:namespace-scopes
-   'namespace-scopes
+   '(namespace-scopes)
    2
    0
    #f
@@ -35419,10 +35419,10 @@
    #f
    2
    3))
-(define effect_2378
+(define effect_2063
   (struct-type-install-properties!
    struct:syntax-literals
-   'syntax-literals
+   '(syntax-literals)
    2
    0
    #f
@@ -35530,10 +35530,10 @@
    #f
    8
    36))
-(define effect_2959
+(define effect_2390
   (struct-type-install-properties!
    struct:header
-   'header
+   '(header)
    8
    0
    #f
@@ -35740,10 +35740,10 @@
    #f
    2
    0))
-(define effect_2316
+(define effect_2290
   (struct-type-install-properties!
    struct:variable-use
-   'variable-use
+   '(variable-use)
    2
    0
    #f
@@ -37331,10 +37331,10 @@
    #f
    2
    3))
-(define effect_2308
+(define effect_2687
   (struct-type-install-properties!
    struct:module-use*
-   'module-use*
+   '(module-use*)
    2
    0
    struct:module-use
@@ -37766,10 +37766,10 @@
    #f
    4
    0))
-(define effect_2302
+(define effect_2897
   (struct-type-install-properties!
    struct:link-info
-   'link-info
+   '(link-info)
    4
    0
    #f
@@ -39883,10 +39883,10 @@
    #f
    1
    1))
-(define effect_2936
+(define effect_2561
   (struct-type-install-properties!
    struct:known-defined/delay
-   'known-defined/delay
+   '(known-defined/delay)
    1
    0
    #f
@@ -39942,10 +39942,10 @@
    #f
    0
    0))
-(define effect_2983
+(define effect_2213
   (struct-type-install-properties!
    struct:known-property
-   'known-property
+   '(known-property)
    0
    0
    #f
@@ -39987,10 +39987,10 @@
    #f
    1
    1))
-(define effect_2487
+(define effect_2571
   (struct-type-install-properties!
    struct:known-property-of-function
-   'known-property-of-function
+   '(known-property-of-function)
    1
    0
    #f
@@ -40049,10 +40049,10 @@
    #f
    2
    3))
-(define effect_2284
+(define effect_2738
   (struct-type-install-properties!
    struct:known-function
-   'known-function
+   '(known-function)
    2
    0
    #f
@@ -40126,10 +40126,10 @@
    #f
    1
    1))
-(define effect_2673
+(define effect_2742
   (struct-type-install-properties!
    struct:known-function-of-satisfying
-   'known-function-of-satisfying
+   '(known-function-of-satisfying)
    1
    0
    #f
@@ -40188,10 +40188,10 @@
    #f
    1
    1))
-(define effect_2149
+(define effect_2224
   (struct-type-install-properties!
    struct:known-predicate
-   'known-predicate
+   '(known-predicate)
    1
    0
    #f
@@ -40243,10 +40243,10 @@
    #f
    1
    1))
-(define effect_2870
+(define effect_2200
   (struct-type-install-properties!
    struct:known-satisfies
-   'known-satisfies
+   '(known-satisfies)
    1
    0
    #f
@@ -40300,10 +40300,10 @@
    #f
    2
    3))
-(define effect_3126
+(define effect_2316
   (struct-type-install-properties!
    struct:known-struct-op
-   'known-struct-op
+   '(known-struct-op)
    2
    0
    #f
@@ -44894,10 +44894,10 @@
    #f
    2
    0))
-(define effect_2509
+(define effect_2847
   (struct-type-install-properties!
    struct:instance-data
-   'instance-data
+   '(instance-data)
    2
    0
    #f
@@ -47347,10 +47347,10 @@
    #f
    3
    0))
-(define effect_2475
+(define effect_2894
   (struct-type-install-properties!
    struct:recompiled
-   'recompiled
+   '(recompiled)
    3
    0
    #f
@@ -48861,7 +48861,7 @@
               sym_0)))
         (let ((temp1_1 temp1_0))
           (add-binding-in-scopes!.1 #f temp1_1 sym_0 temp3_0))))))
-(define effect_2796
+(define effect_2793
   (begin
     (void
      (begin
@@ -48895,10 +48895,10 @@
    #f
    3
    0))
-(define effect_2900
+(define effect_2898
   (struct-type-install-properties!
    struct:lift-context
-   'lift-context
+   '(lift-context)
    3
    0
    #f
@@ -48930,10 +48930,10 @@
    #f
    3
    0))
-(define effect_3182
+(define effect_2240
   (struct-type-install-properties!
    struct:lifted-bind
-   'lifted-bind
+   '(lifted-bind)
    3
    0
    #f
@@ -49182,10 +49182,10 @@
    #f
    3
    0))
-(define effect_2402
+(define effect_2110
   (struct-type-install-properties!
    struct:module-lift-context
-   'module-lift-context
+   '(module-lift-context)
    3
    0
    #f
@@ -49264,10 +49264,10 @@
    #f
    3
    0))
-(define effect_2549
+(define effect_2608
   (struct-type-install-properties!
    struct:require-lift-context
-   'require-lift-context
+   '(require-lift-context)
    3
    0
    #f
@@ -49318,10 +49318,10 @@
    #f
    4
    0))
-(define effect_3102
+(define effect_2781
   (struct-type-install-properties!
    struct:to-module-lift-context
-   'to-module-lift-context
+   '(to-module-lift-context)
    4
    0
    #f
@@ -49388,10 +49388,10 @@
    #f
    2
    0))
-(define effect_2070
+(define effect_2784
   (struct-type-install-properties!
    struct:already-expanded
-   'expanded-syntax
+   '(expanded-syntax)
    2
    0
    #f
@@ -49466,15 +49466,15 @@
    #f
    0
    0))
-(define effect_2200
+(define effect_2745
   (struct-type-install-properties!
    struct:liberal-define-context
-   'liberal-define-context
+   '(liberal-define-context)
    0
    0
    #f
    (list (cons 1/prop:liberal-define-context #t))
-   #f
+   (current-inspector)
    #f
    '()
    #f
@@ -49602,10 +49602,10 @@
    #f
    3
    7))
-(define effect_2434
+(define effect_2912
   (struct-type-install-properties!
    struct:reference-record
-   'reference-record
+   '(reference-record)
    3
    0
    #f
@@ -49768,10 +49768,10 @@
    #f
    2
    0))
-(define effect_2902
+(define effect_3028
   (struct-type-install-properties!
    struct:expanded+parsed
-   'expanded+parsed
+   '(expanded+parsed)
    2
    0
    #f
@@ -49801,10 +49801,10 @@
    #f
    4
    0))
-(define effect_2257
+(define effect_2560
   (struct-type-install-properties!
    struct:semi-parsed-define-values
-   'semi-parsed-define-values
+   '(semi-parsed-define-values)
    4
    0
    #f
@@ -49851,10 +49851,10 @@
    #f
    2
    0))
-(define effect_2603
+(define effect_3035
   (struct-type-install-properties!
    struct:semi-parsed-begin-for-syntax
-   'semi-parsed-begin-for-syntax
+   '(semi-parsed-begin-for-syntax)
    2
    0
    #f
@@ -51915,10 +51915,10 @@
    #f
    5
    0))
-(define effect_1896
+(define effect_2155
   (struct-type-install-properties!
    struct:internal-definition-context
-   'internal-definition-context
+   '(internal-definition-context)
    5
    0
    #f
@@ -52049,10 +52049,10 @@
    #f
    4
    0))
-(define effect_2815
+(define effect_2757
   (struct-type-install-properties!
    struct:env-mixin
-   'env-mixin
+   '(env-mixin)
    4
    0
    #f
@@ -56839,10 +56839,10 @@
    #f
    2
    0))
-(define effect_2903
+(define effect_1982
   (struct-type-install-properties!
    struct:lifted-parsed-begin
-   'lifted-parsed-begin
+   '(lifted-parsed-begin)
    2
    0
    #f
@@ -59112,10 +59112,10 @@
    #f
    2
    0))
-(define effect_2127
+(define effect_2396
   (struct-type-install-properties!
    struct:shadow-directory
-   'shadow-directory
+   '(shadow-directory)
    2
    0
    #f
@@ -60028,10 +60028,10 @@
    #f
    7
    0))
-(define effect_2456
+(define effect_2997
   (struct-type-install-properties!
    struct:read-config/outer
-   'read-config
+   '(read-config)
    7
    0
    #f
@@ -60075,10 +60075,10 @@
    #f
    13
    0))
-(define effect_2332
+(define effect_2382
   (struct-type-install-properties!
    struct:read-config/inner
-   'read-config/inner
+   '(read-config/inner)
    13
    0
    #f
@@ -60239,10 +60239,10 @@
    #f
    2
    3))
-(define effect_2894
+(define effect_2536
   (struct-type-install-properties!
    struct:read-config-state
-   'read-config-state
+   '(read-config-state)
    2
    0
    #f
@@ -60791,10 +60791,10 @@
    #f
    1
    0))
-(define effect_2850
+(define effect_2866
   (struct-type-install-properties!
    struct:special-comment
-   'special-comment
+   '(special-comment)
    1
    0
    #f
@@ -60822,10 +60822,10 @@
    #f
    4
    0))
-(define effect_2799
+(define effect_2769
   (struct-type-install-properties!
    struct:readtable
-   'readtable
+   '(readtable)
    4
    0
    #f
@@ -61206,10 +61206,10 @@
    #f
    1
    0))
-(define effect_2658
+(define effect_2785
   (struct-type-install-properties!
    struct:special
-   'special
+   '(special)
    1
    0
    #f
@@ -61756,10 +61756,10 @@
    #f
    2
    3))
-(define effect_2103
+(define effect_3237
   (struct-type-install-properties!
    struct:accum-string
-   'accum-string
+   '(accum-string)
    2
    0
    #f
@@ -61880,10 +61880,10 @@
    #f
    8
    246))
-(define effect_2519
+(define effect_2641
   (struct-type-install-properties!
    struct:indentation
-   'indentation
+   '(indentation)
    8
    0
    #f
@@ -62915,10 +62915,10 @@
    #f
    5
    0))
-(define effect_2060
+(define effect_2594
   (struct-type-install-properties!
    struct:parse-state
-   'parse-state
+   '(parse-state)
    5
    0
    #f
@@ -62956,10 +62956,10 @@
    #f
    3
    0))
-(define effect_2587
+(define effect_2253
   (struct-type-install-properties!
    struct:rect-prefix
-   'rect-prefix
+   '(rect-prefix)
    3
    0
    #f
@@ -62991,10 +62991,10 @@
    #f
    3
    0))
-(define effect_2784
+(define effect_2346
   (struct-type-install-properties!
    struct:polar-prefix
-   'polar-prefix
+   '(polar-prefix)
    3
    0
    #f
@@ -63114,10 +63114,10 @@
    #f
    3
    0))
-(define effect_2624
+(define effect_2494
   (struct-type-install-properties!
    struct:lazy-expt
-   'lazy-expt
+   '(lazy-expt)
    3
    0
    #f
@@ -63148,10 +63148,10 @@
    #f
    2
    0))
-(define effect_2285
+(define effect_2726
   (struct-type-install-properties!
    struct:lazy-rational
-   'lazy-rational
+   '(lazy-rational)
    2
    0
    #f
@@ -72539,7 +72539,7 @@
    'variable-reference->module-declaration-inspector
    'read-syntax
    'read-syntax/recursive))
-(define effect_2769
+(define effect_2770
   (begin
     (void
      (begin
@@ -82130,7 +82130,7 @@
                         (let ((temp350_0 (cons begin339_0 exp-es_0)))
                           (rebuild.1 #t rebuild-s_0 temp350_0)))))))
                (args (raise-binding-result-arity-error 3 args)))))))))))
-(define effect_2494
+(define effect_2495
   (begin
     (void
      (add-core-form!*
@@ -82188,7 +82188,7 @@
                   (args (raise-binding-result-arity-error 2 args)))))
               (|#%app| nonempty-begin_0 s_0 ctx_0)))))))
     (void)))
-(define effect_2641
+(define effect_2642
   (begin
     (void
      (add-core-form!*
@@ -82473,7 +82473,7 @@
             ctx_0
             implicit-omitted?359_0)))))))
     (void)))
-(define effect_2326
+(define effect_2325
   (begin
     (void
      (add-core-form!*
@@ -86321,7 +86321,7 @@
            "illegal use (not in a module top-level)"
            s_0)))))
     (void)))
-(define effect_2370
+(define effect_2371
   (begin
     (void
      (add-core-form!*
diff --git a/racket/src/cs/schemified/io.scm b/racket/src/cs/schemified/io.scm
index 16c1d7b6b6..e949b95a2a 100644
--- a/racket/src/cs/schemified/io.scm
+++ b/racket/src/cs/schemified/io.scm
@@ -2631,10 +2631,10 @@
    #f
    11
    2047))
-(define effect_2883
+(define effect_2467
   (struct-type-install-properties!
    struct:sandman
-   'sandman
+   '(sandman)
    11
    0
    #f
@@ -3598,10 +3598,10 @@
    #f
    2
    0))
-(define effect_2383
+(define effect_2305
   (struct-type-install-properties!
    struct:exts
-   'exts
+   '(exts)
    2
    0
    #f
@@ -3891,10 +3891,10 @@
    #f
    7
    124))
-(define effect_2716
+(define effect_2672
   (struct-type-install-properties!
    struct:core-port
-   'core-port
+   '(core-port)
    7
    0
    #f
@@ -3947,10 +3947,10 @@
    #f
    5
    0))
-(define effect_2750
+(define effect_2243
   (struct-type-install-properties!
    struct:core-port-methods.1
-   'core-port-methods
+   '(core-port-methods)
    5
    0
    #f
@@ -4083,10 +4083,10 @@
    #f
    3
    7))
-(define effect_3200
+(define effect_2315
   (struct-type-install-properties!
    struct:direct
-   'direct
+   '(direct)
    3
    0
    #f
@@ -4120,10 +4120,10 @@
    #f
    5
    31))
-(define effect_2872
+(define effect_2878
   (struct-type-install-properties!
    struct:location
-   'location
+   '(location)
    5
    0
    #f
@@ -4227,10 +4227,10 @@
    #f
    2
    3))
-(define effect_2614
+(define effect_2934
   (struct-type-install-properties!
    struct:core-input-port
-   'core-input-port
+   '(core-input-port)
    2
    0
    struct:core-port
@@ -4302,10 +4302,10 @@
    #f
    6
    0))
-(define effect_3216
+(define effect_2804
   (struct-type-install-properties!
    struct:core-input-port-methods.1
-   'core-input-port-methods
+   '(core-input-port-methods)
    6
    0
    struct:core-port-methods.1
@@ -4546,10 +4546,10 @@
    #f
    4
    15))
-(define effect_2619
+(define effect_2929
   (struct-type-install-properties!
    struct:core-output-port
-   'core-output-port
+   '(core-output-port)
    4
    0
    struct:core-port
@@ -4622,10 +4622,10 @@
    #f
    4
    0))
-(define effect_2581
+(define effect_2086
   (struct-type-install-properties!
    struct:core-output-port-methods.1
-   'core-output-port-methods
+   '(core-output-port-methods)
    4
    0
    struct:core-port-methods.1
@@ -4793,10 +4793,10 @@
    #f
    1
    0))
-(define effect_2681
+(define effect_2624
   (struct-type-install-properties!
    struct:write-evt
-   'write-evt
+   '(write-evt)
    1
    0
    #f
@@ -4865,10 +4865,10 @@
    #f
    3
    0))
-(define effect_2417
+(define effect_2392
   (struct-type-install-properties!
    struct:utf-8-state
-   'utf-8-state
+   '(utf-8-state)
    3
    0
    #f
@@ -6692,10 +6692,10 @@
    #f
    3
    0))
-(define effect_3024
+(define effect_2778
   (struct-type-install-properties!
    struct:commit-manager
-   'commit-manager
+   '(commit-manager)
    3
    0
    #f
@@ -6783,10 +6783,10 @@
    #f
    5
    0))
-(define effect_2327
+(define effect_2971
   (struct-type-install-properties!
    struct:commit-request
-   'commit-request
+   '(commit-request)
    5
    0
    #f
@@ -6908,10 +6908,10 @@
    #f
    2
    0))
-(define effect_2424
+(define effect_2630
   (struct-type-install-properties!
    struct:commit-response
-   'commit-response
+   '(commit-response)
    2
    0
    #f
@@ -7226,10 +7226,10 @@
    #f
    2
    3))
-(define effect_2713
+(define effect_2923
   (struct-type-install-properties!
    struct:commit-input-port
-   'commit-input-port
+   '(commit-input-port)
    2
    0
    struct:core-input-port
@@ -7271,10 +7271,10 @@
    #f
    0
    0))
-(define effect_2628
+(define effect_1933
   (struct-type-install-properties!
    struct:commit-input-port-methods.1
-   'commit-input-port-methods
+   '(commit-input-port-methods)
    0
    0
    struct:core-input-port-methods.1
@@ -7446,10 +7446,10 @@
    #f
    16
    65534))
-(define effect_3136
+(define effect_2761
   (struct-type-install-properties!
    struct:pipe-data
-   'pipe-data
+   '(pipe-data)
    16
    0
    #f
@@ -7548,10 +7548,10 @@
    #f
    0
    0))
-(define effect_2891
+(define effect_2809
   (struct-type-install-properties!
    struct:pipe-data-methods.1
-   'pipe-data-methods
+   '(pipe-data-methods)
    0
    0
    #f
@@ -7682,10 +7682,10 @@
    #f
    1
    1))
-(define effect_2367
+(define effect_1840
   (struct-type-install-properties!
    struct:pipe-input-port
-   'pipe-input-port
+   '(pipe-input-port)
    1
    0
    struct:commit-input-port
@@ -7715,10 +7715,10 @@
    #f
    0
    0))
-(define effect_2379
+(define effect_3026
   (struct-type-install-properties!
    struct:pipe-input-port-methods.1
-   'pipe-input-port-methods
+   '(pipe-input-port-methods)
    0
    0
    struct:commit-input-port-methods.1
@@ -8078,10 +8078,10 @@
    #f
    1
    1))
-(define effect_2458
+(define effect_3143
   (struct-type-install-properties!
    struct:pipe-output-port
-   'pipe-output-port
+   '(pipe-output-port)
    1
    0
    struct:core-output-port
@@ -8113,10 +8113,10 @@
    #f
    0
    0))
-(define effect_2137
+(define effect_2754
   (struct-type-install-properties!
    struct:pipe-output-port-methods.1
-   'pipe-output-port-methods
+   '(pipe-output-port-methods)
    0
    0
    struct:core-output-port-methods.1
@@ -8690,10 +8690,10 @@
    #f
    1
    0))
-(define effect_2371
+(define effect_2496
   (struct-type-install-properties!
    struct:pipe-write-poller
-   'pipe-write-poller
+   '(pipe-write-poller)
    1
    0
    #f
@@ -8775,10 +8775,10 @@
    #f
    1
    0))
-(define effect_2439
+(define effect_2898
   (struct-type-install-properties!
    struct:pipe-read-poller
-   'pipe-read-poller
+   '(pipe-read-poller)
    1
    0
    #f
@@ -8860,10 +8860,10 @@
    #f
    5
    31))
-(define effect_2246
+(define effect_2594
   (struct-type-install-properties!
    struct:peek-via-read-input-port
-   'peek-via-read-input-port
+   '(peek-via-read-input-port)
    5
    0
    struct:commit-input-port
@@ -8934,10 +8934,10 @@
    #f
    1
    0))
-(define effect_2651
+(define effect_2499
   (struct-type-install-properties!
    struct:peek-via-read-input-port-methods.1
-   'peek-via-read-input-port-methods
+   '(peek-via-read-input-port-methods)
    1
    0
    struct:commit-input-port-methods.1
@@ -9640,10 +9640,10 @@
    #f
    3
    7))
-(define effect_2195
+(define effect_2353
   (struct-type-install-properties!
    struct:fd-input-port
-   'fd-input-port
+   '(fd-input-port)
    3
    0
    struct:peek-via-read-input-port
@@ -9694,10 +9694,10 @@
    #f
    2
    0))
-(define effect_2334
+(define effect_2026
   (struct-type-install-properties!
    struct:fd-input-port-methods.1
-   'fd-input-port-methods
+   '(fd-input-port-methods)
    2
    0
    struct:peek-via-read-input-port-methods.1
@@ -9948,10 +9948,10 @@
    #f
    8
    255))
-(define effect_2068
+(define effect_2985
   (struct-type-install-properties!
    struct:fd-output-port
-   'fd-output-port
+   '(fd-output-port)
    8
    0
    struct:core-output-port
@@ -10060,10 +10060,10 @@
    #f
    2
    0))
-(define effect_2413
+(define effect_2747
   (struct-type-install-properties!
    struct:fd-output-port-methods.1
-   'fd-output-port-methods
+   '(fd-output-port-methods)
    2
    0
    struct:core-output-port-methods.1
@@ -10661,10 +10661,10 @@
    #f
    3
    4))
-(define effect_2551
+(define effect_2106
   (struct-type-install-properties!
    struct:fd-evt
-   'fd-evt
+   '(fd-evt)
    3
    0
    #f
@@ -10800,10 +10800,10 @@
    #f
    1
    0))
-(define effect_2495
+(define effect_1965
   (struct-type-install-properties!
    struct:rktio-fd-flushed-evt
-   'rktio-fd-flushed-evt
+   '(rktio-fd-flushed-evt)
    1
    0
    #f
@@ -11592,10 +11592,10 @@
    #f
    2
    0))
-(define effect_2813
+(define effect_2746
   (struct-type-install-properties!
    struct:progress-evt
-   'progress-evt
+   '(progress-evt)
    2
    0
    #f
@@ -14915,10 +14915,10 @@
    #f
    2
    0))
-(define effect_2723
+(define effect_2854
   (struct-type-install-properties!
    struct:utf-8-converter
-   'utf-8-converter
+   '(utf-8-converter)
    2
    0
    #f
@@ -15849,10 +15849,10 @@
    #f
    2
    3))
-(define effect_2529
+(define effect_2513
   (struct-type-install-properties!
    struct:bytes-converter
-   'bytes-converter
+   '(bytes-converter)
    2
    0
    #f
@@ -16726,10 +16726,10 @@
    #f
    4
    15))
-(define effect_2666
+(define effect_2505
   (struct-type-install-properties!
    struct:cache
-   'cache
+   '(cache)
    4
    0
    #f
@@ -17100,10 +17100,10 @@
    #f
    2
    0))
-(define effect_2481
+(define effect_2269
   (struct-type-install-properties!
    struct:path
-   'path
+   '(path)
    2
    0
    #f
@@ -18402,10 +18402,10 @@
    #f
    3
    7))
-(define effect_2730
+(define effect_2303
   (struct-type-install-properties!
    struct:bytes-input-port
-   'bytes-input-port
+   '(bytes-input-port)
    3
    0
    struct:commit-input-port
@@ -18451,10 +18451,10 @@
    #f
    0
    0))
-(define effect_2624
+(define effect_2574
   (struct-type-install-properties!
    struct:bytes-input-port-methods.1
-   'bytes-input-port-methods
+   '(bytes-input-port-methods)
    0
    0
    struct:commit-input-port-methods.1
@@ -18682,10 +18682,10 @@
    #f
    3
    7))
-(define effect_2717
+(define effect_2607
   (struct-type-install-properties!
    struct:bytes-output-port
-   'bytes-output-port
+   '(bytes-output-port)
    3
    0
    struct:core-output-port
@@ -18735,10 +18735,10 @@
    #f
    2
    0))
-(define effect_2372
+(define effect_2007
   (struct-type-install-properties!
    struct:bytes-output-port-methods.1
-   'bytes-output-port-methods
+   '(bytes-output-port-methods)
    2
    0
    struct:core-output-port-methods.1
@@ -19188,10 +19188,10 @@
    #f
    2
    3))
-(define effect_3238
+(define effect_2654
   (struct-type-install-properties!
    struct:max-output-port
-   'max-output-port
+   '(max-output-port)
    2
    0
    struct:core-output-port
@@ -19229,10 +19229,10 @@
    #f
    0
    0))
-(define effect_2860
+(define effect_2484
   (struct-type-install-properties!
    struct:max-output-port-methods.1
-   'max-output-port-methods
+   '(max-output-port-methods)
    0
    0
    struct:core-output-port-methods.1
@@ -20151,10 +20151,10 @@
    #f
    0
    0))
-(define effect_2671
+(define effect_2498
   (struct-type-install-properties!
    struct:nowhere-output-port
-   'nowhere-output-port
+   '(nowhere-output-port)
    0
    0
    struct:core-output-port
@@ -20182,10 +20182,10 @@
    #f
    0
    0))
-(define effect_2396
+(define effect_2432
   (struct-type-install-properties!
    struct:nowhere-output-port-methods.1
-   'nowhere-output-port-methods
+   '(nowhere-output-port-methods)
    0
    0
    struct:core-output-port-methods.1
@@ -20429,10 +20429,10 @@
    #f
    1
    0))
-(define effect_2971
+(define effect_2500
   (struct-type-install-properties!
    struct:as-constructor
-   'as-constructor
+   '(as-constructor)
    1
    0
    #f
@@ -23427,10 +23427,10 @@
    #f
    7
    0))
-(define effect_2720
+(define effect_2733
   (struct-type-install-properties!
    struct:starting-point
-   'starting-point
+   '(starting-point)
    7
    0
    #f
@@ -25409,10 +25409,10 @@
    #f
    4
    0))
-(define effect_2690
+(define effect_2725
   (struct-type-install-properties!
    struct:security-guard
-   'security-guard
+   '(security-guard)
    4
    0
    #f
@@ -29810,7 +29810,7 @@
             (current-directory$1))
           '()
           hash2725))))))
-(define effect_2315
+(define effect_2316
   (begin (void (begin-unsafe (set! simplify-path/dl 1/simplify-path))) (void)))
 (define bytes-no-nuls?
   (lambda (s_0)
@@ -29864,10 +29864,10 @@
    #f
    1
    1))
-(define effect_2652
+(define effect_2324
   (struct-type-install-properties!
    struct:environment-variables
-   'environment-variables
+   '(environment-variables)
    1
    0
    #f
@@ -31596,10 +31596,10 @@
    #f
    11
    376))
-(define effect_2192
+(define effect_2502
   (struct-type-install-properties!
    struct:logger
-   'logger
+   '(logger)
    11
    0
    #f
@@ -32067,10 +32067,10 @@
    #f
    2
    3))
-(define effect_2520
+(define effect_2212
   (struct-type-install-properties!
    struct:queue
-   'queue
+   '(queue)
    2
    0
    #f
@@ -32101,10 +32101,10 @@
    #f
    3
    6))
-(define effect_2547
+(define effect_2737
   (struct-type-install-properties!
    struct:node
-   'node
+   '(node)
    3
    0
    #f
@@ -32165,10 +32165,10 @@
    #f
    1
    0))
-(define effect_2708
+(define effect_2818
   (struct-type-install-properties!
    struct:log-receiver
-   'log-receiver
+   '(log-receiver)
    1
    0
    #f
@@ -32223,10 +32223,10 @@
    #f
    3
    0))
-(define effect_2181
+(define effect_2203
   (struct-type-install-properties!
    struct:queue-log-receiver
-   'log-receiver
+   '(log-receiver)
    3
    0
    struct:log-receiver
@@ -32404,10 +32404,10 @@
    #f
    2
    0))
-(define effect_2592
+(define effect_1964
   (struct-type-install-properties!
    struct:stdio-log-receiver
-   'stdio-log-receiver
+   '(stdio-log-receiver)
    2
    0
    struct:log-receiver
@@ -32550,10 +32550,10 @@
    #f
    2
    0))
-(define effect_2241
+(define effect_2057
   (struct-type-install-properties!
    struct:syslog-log-receiver
-   'syslog-log-receiver
+   '(syslog-log-receiver)
    2
    0
    struct:log-receiver
@@ -33516,10 +33516,10 @@
    #f
    2
    3))
-(define effect_2322
+(define effect_2420
   (struct-type-install-properties!
    struct:fs-change-evt
-   'filesystem-change-evt
+   '(filesystem-change-evt)
    2
    0
    #f
@@ -34018,10 +34018,10 @@
    #f
    3
    3))
-(define effect_2272
+(define effect_2643
   (struct-type-install-properties!
    struct:subprocess
-   'subprocess
+   '(subprocess)
    3
    0
    #f
@@ -34895,10 +34895,10 @@
    #f
    1
    1))
-(define effect_3035
+(define effect_2557
   (struct-type-install-properties!
    struct:tcp-input-port
-   'tcp-input-port
+   '(tcp-input-port)
    1
    0
    struct:fd-input-port
@@ -34936,10 +34936,10 @@
    #f
    0
    0))
-(define effect_2838
+(define effect_2306
   (struct-type-install-properties!
    struct:tcp-input-port-methods.1
-   'tcp-input-port-methods
+   '(tcp-input-port-methods)
    0
    0
    struct:fd-input-port-methods.1
@@ -35072,10 +35072,10 @@
    #f
    1
    1))
-(define effect_2595
+(define effect_2686
   (struct-type-install-properties!
    struct:tcp-output-port
-   'tcp-output-port
+   '(tcp-output-port)
    1
    0
    struct:fd-output-port
@@ -35115,10 +35115,10 @@
    #f
    0
    0))
-(define effect_2727
+(define effect_2463
   (struct-type-install-properties!
    struct:tcp-output-port-methods.1
-   'tcp-output-port-methods
+   '(tcp-output-port-methods)
    0
    0
    struct:fd-output-port-methods.1
@@ -35272,10 +35272,10 @@
    #f
    2
    0))
-(define effect_2914
+(define effect_2460
   (struct-type-install-properties!
    struct:rktio-evt
-   'rktio-evt
+   '(rktio-evt)
    2
    0
    #f
@@ -35463,10 +35463,10 @@
    #f
    2
    3))
-(define effect_2403
+(define effect_2123
   (struct-type-install-properties!
    struct:connect-progress
-   'connect-progress
+   '(connect-progress)
    2
    0
    #f
@@ -35842,10 +35842,10 @@
    #f
    3
    0))
-(define effect_2611
+(define effect_2228
   (struct-type-install-properties!
    struct:tcp-listener
-   'tcp-listener
+   '(tcp-listener)
    3
    0
    #f
@@ -36225,10 +36225,10 @@
    #f
    1
    0))
-(define effect_2325
+(define effect_2314
   (struct-type-install-properties!
    struct:accept-evt
-   'tcp-accept-evt
+   '(tcp-accept-evt)
    1
    0
    #f
@@ -36389,10 +36389,10 @@
       (args (raise-binding-result-arity-error 2 args))))))
 (define struct:udp
   (make-record-type-descriptor* 'udp #f (|#%nongenerative-uid| udp) #f #f 3 7))
-(define effect_2368
+(define effect_2285
   (struct-type-install-properties!
    struct:udp
-   'udp
+   '(udp)
    3
    0
    #f
@@ -37570,10 +37570,10 @@
    #f
    2
    0))
-(define effect_2348
+(define effect_2811
   (struct-type-install-properties!
    struct:udp-sending-evt
-   'udp-send-evt
+   '(udp-send-evt)
    2
    0
    #f
@@ -37627,10 +37627,10 @@
    #f
    0
    0))
-(define effect_3038
+(define effect_2766
   (struct-type-install-properties!
    struct:udp-sending-ready-evt
-   'udp-send-ready-evt
+   '(udp-send-ready-evt)
    0
    0
    struct:rktio-evt
@@ -37959,10 +37959,10 @@
    #f
    2
    0))
-(define effect_2847
+(define effect_3133
   (struct-type-install-properties!
    struct:udp-receiving-evt
-   'udp-receive-evt
+   '(udp-receive-evt)
    2
    0
    #f
@@ -38021,10 +38021,10 @@
    #f
    0
    0))
-(define effect_2341
+(define effect_2191
   (struct-type-install-properties!
    struct:udp-receiving-ready-evt
-   'udp-receive-ready-evt
+   '(udp-receive-ready-evt)
    0
    0
    struct:rktio-evt
diff --git a/racket/src/cs/schemified/known.scm b/racket/src/cs/schemified/known.scm
index 2c23f9e98a..48642b6850 100644
--- a/racket/src/cs/schemified/known.scm
+++ b/racket/src/cs/schemified/known.scm
@@ -143,10 +143,10 @@
    #f
    0
    0))
-(define effect_2431
+(define effect_2175
   (struct-type-install-properties!
    struct:known-constant
-   'known-constant
+   '(known-constant)
    0
    0
    #f
@@ -192,10 +192,10 @@
    #f
    0
    0))
-(define effect_2525
+(define effect_2225
   (struct-type-install-properties!
    struct:known-consistent
-   'known-consistent
+   '(known-consistent)
    0
    0
    (if (struct-type? struct:known-constant)
@@ -243,10 +243,10 @@
    #f
    0
    0))
-(define effect_2733
+(define effect_3179
   (struct-type-install-properties!
    struct:known-authentic
-   'known-authentic
+   '(known-authentic)
    0
    0
    (if (struct-type? struct:known-constant)
@@ -294,10 +294,10 @@
    #f
    1
    1))
-(define effect_2848
+(define effect_1974
   (struct-type-install-properties!
    struct:known-copy
-   'known-copy
+   '(known-copy)
    1
    0
    (if (struct-type? struct:known-constant)
@@ -359,10 +359,10 @@
    #f
    1
    1))
-(define effect_2418
+(define effect_2741
   (struct-type-install-properties!
    struct:known-literal
-   'known-literal
+   '(known-literal)
    1
    0
    (if (struct-type? struct:known-consistent)
@@ -426,10 +426,10 @@
    #f
    1
    1))
-(define effect_2727
+(define effect_1867
   (struct-type-install-properties!
    struct:known-procedure
-   'known-procedure
+   '(known-procedure)
    1
    0
    (if (struct-type? struct:known-consistent)
@@ -495,10 +495,10 @@
    #f
    0
    0))
-(define effect_3076
+(define effect_2708
   (struct-type-install-properties!
    struct:known-procedure/single-valued
-   'known-procedure/single-valued
+   '(known-procedure/single-valued)
    0
    0
    (if (struct-type? struct:known-procedure)
@@ -551,10 +551,10 @@
    #f
    0
    0))
-(define effect_2720
+(define effect_2348
   (struct-type-install-properties!
    struct:known-procedure/no-prompt
-   'known-procedure/no-prompt
+   '(known-procedure/no-prompt)
    0
    0
    (if (struct-type? struct:known-procedure/single-valued)
@@ -607,10 +607,10 @@
    #f
    0
    0))
-(define effect_2928
+(define effect_2331
   (struct-type-install-properties!
    struct:known-procedure/no-prompt/multi
-   'known-procedure/no-prompt/multi
+   '(known-procedure/no-prompt/multi)
    0
    0
    (if (struct-type? struct:known-procedure)
@@ -663,10 +663,10 @@
    #f
    0
    0))
-(define effect_2574
+(define effect_2377
   (struct-type-install-properties!
    struct:known-procedure/no-return
-   'known-procedure/no-return
+   '(known-procedure/no-return)
    0
    0
    (if (struct-type? struct:known-procedure/single-valued)
@@ -719,10 +719,10 @@
    #f
    1
    1))
-(define effect_2566
+(define effect_2149
   (struct-type-install-properties!
    struct:known-procedure/can-inline
-   'known-procedure/can-inline
+   '(known-procedure/can-inline)
    1
    0
    (if (struct-type? struct:known-procedure)
@@ -793,10 +793,10 @@
    #f
    1
    1))
-(define effect_2249
+(define effect_2717
   (struct-type-install-properties!
    struct:known-procedure/can-inline/need-imports
-   'known-procedure/can-inline/need-imports
+   '(known-procedure/can-inline/need-imports)
    1
    0
    (if (struct-type? struct:known-procedure/can-inline)
@@ -867,10 +867,10 @@
    #f
    0
    0))
-(define effect_2382
+(define effect_2516
   (struct-type-install-properties!
    struct:known-procedure/folding
-   'known-procedure/folding
+   '(known-procedure/folding)
    0
    0
    (if (struct-type? struct:known-procedure/no-prompt)
@@ -923,10 +923,10 @@
    #f
    1
    1))
-(define effect_2255
+(define effect_2551
   (struct-type-install-properties!
    struct:known-procedure/folding/limited
-   'known-procedure/folding/limited
+   '(known-procedure/folding/limited)
    1
    0
    (if (struct-type? struct:known-procedure/folding)
@@ -997,10 +997,10 @@
    #f
    0
    0))
-(define effect_2403
+(define effect_2332
   (struct-type-install-properties!
    struct:known-procedure/succeeds
-   'known-procedure/succeeds
+   '(known-procedure/succeeds)
    0
    0
    (if (struct-type? struct:known-procedure/no-prompt)
@@ -1053,10 +1053,10 @@
    #f
    0
    0))
-(define effect_2234
+(define effect_2307
   (struct-type-install-properties!
    struct:known-procedure/allocates
-   'known-procedure/allocates
+   '(known-procedure/allocates)
    0
    0
    (if (struct-type? struct:known-procedure/succeeds)
@@ -1109,10 +1109,10 @@
    #f
    0
    0))
-(define effect_2568
+(define effect_2394
   (struct-type-install-properties!
    struct:known-procedure/pure
-   'known-procedure/pure
+   '(known-procedure/pure)
    0
    0
    (if (struct-type? struct:known-procedure/allocates)
@@ -1162,10 +1162,10 @@
    #f
    0
    0))
-(define effect_2204
+(define effect_2781
   (struct-type-install-properties!
    struct:known-procedure/pure/folding
-   'known-procedure/pure/folding
+   '(known-procedure/pure/folding)
    0
    0
    (if (struct-type? struct:known-procedure/pure)
@@ -1218,10 +1218,10 @@
    #f
    1
    1))
-(define effect_2430
+(define effect_2709
   (struct-type-install-properties!
    struct:known-procedure/pure/folding-unsafe
-   'known-procedure/pure/folding-unsafe
+   '(known-procedure/pure/folding-unsafe)
    1
    0
    (if (struct-type? struct:known-procedure/pure/folding)
@@ -1292,10 +1292,10 @@
    #f
    1
    1))
-(define effect_2420
+(define effect_2998
   (struct-type-install-properties!
    struct:known-procedure/has-unsafe
-   'known-procedure/has-unsafe
+   '(known-procedure/has-unsafe)
    1
    0
    (if (struct-type? struct:known-procedure/no-prompt)
@@ -1366,10 +1366,10 @@
    #f
    0
    0))
-(define effect_1752
+(define effect_2584
   (struct-type-install-properties!
    struct:known-procedure/has-unsafe/folding
-   'known-procedure/has-unsafe/folding
+   '(known-procedure/has-unsafe/folding)
    0
    0
    (if (struct-type? struct:known-procedure/has-unsafe)
@@ -1422,10 +1422,10 @@
    #f
    1
    1))
-(define effect_2526
+(define effect_2633
   (struct-type-install-properties!
    struct:known-procedure/has-unsafe/folding/limited
-   'known-procedure/has-unsafe/folding/limited
+   '(known-procedure/has-unsafe/folding/limited)
    1
    0
    (if (struct-type? struct:known-procedure/has-unsafe/folding)
@@ -1497,10 +1497,10 @@
    #f
    3
    7))
-(define effect_2722
+(define effect_2547
   (struct-type-install-properties!
    struct:known-struct-type
-   'known-struct-type
+   '(known-struct-type)
    3
    0
    (if (struct-type? struct:known-consistent)
@@ -1602,10 +1602,10 @@
    #f
    1
    1))
-(define effect_2907
+(define effect_2090
   (struct-type-install-properties!
    struct:known-constructor
-   'known-constructor
+   '(known-constructor)
    1
    0
    (if (struct-type? struct:known-procedure/allocates)
@@ -1671,10 +1671,10 @@
    #f
    1
    1))
-(define effect_2630
+(define effect_2975
   (struct-type-install-properties!
    struct:known-predicate
-   'known-predicate
+   '(known-predicate)
    1
    0
    (if (struct-type? struct:known-procedure/pure)
@@ -1738,10 +1738,10 @@
    #f
    1
    1))
-(define effect_2802
+(define effect_2542
   (struct-type-install-properties!
    struct:known-accessor
-   'known-accessor
+   '(known-accessor)
    1
    0
    (if (struct-type? struct:known-procedure/single-valued)
@@ -1805,10 +1805,10 @@
    #f
    1
    1))
-(define effect_2101
+(define effect_2533
   (struct-type-install-properties!
    struct:known-mutator
-   'known-mutator
+   '(known-mutator)
    1
    0
    (if (struct-type? struct:known-procedure/single-valued)
@@ -1872,10 +1872,10 @@
    #f
    1
    1))
-(define effect_3019
+(define effect_2411
   (struct-type-install-properties!
    struct:known-struct-constructor
-   'known-struct-constructor
+   '(known-struct-constructor)
    1
    0
    (if (struct-type? struct:known-constructor)
@@ -1949,7 +1949,7 @@
 (define effect_2929
   (struct-type-install-properties!
    struct:known-struct-predicate
-   'known-struct-predicate
+   '(known-struct-predicate)
    2
    0
    (if (struct-type? struct:known-predicate)
@@ -2035,10 +2035,10 @@
    #f
    4
    15))
-(define effect_2706
+(define effect_2971
   (struct-type-install-properties!
    struct:known-field-accessor
-   'known-field-accessor
+   '(known-field-accessor)
    4
    0
    (if (struct-type? struct:known-accessor)
@@ -2160,10 +2160,10 @@
    #f
    3
    7))
-(define effect_3046
+(define effect_2493
   (struct-type-install-properties!
    struct:known-field-mutator
-   'known-field-mutator
+   '(known-field-mutator)
    3
    0
    (if (struct-type? struct:known-mutator)
@@ -2267,10 +2267,10 @@
    #f
    1
    1))
-(define effect_2765
+(define effect_3135
   (struct-type-install-properties!
    struct:known-struct-constructor/need-imports
-   'known-struct-constructor/need-imports
+   '(known-struct-constructor/need-imports)
    1
    0
    (if (struct-type? struct:known-struct-constructor)
@@ -2341,10 +2341,10 @@
    #f
    1
    1))
-(define effect_2432
+(define effect_2453
   (struct-type-install-properties!
    struct:known-struct-predicate/need-imports
-   'known-struct-predicate/need-imports
+   '(known-struct-predicate/need-imports)
    1
    0
    (if (struct-type? struct:known-struct-predicate)
@@ -2415,10 +2415,10 @@
    #f
    1
    1))
-(define effect_2891
+(define effect_2353
   (struct-type-install-properties!
    struct:known-field-accessor/need-imports
-   'known-field-accessor/need-imports
+   '(known-field-accessor/need-imports)
    1
    0
    (if (struct-type? struct:known-field-accessor)
@@ -2489,10 +2489,10 @@
    #f
    1
    1))
-(define effect_2824
+(define effect_2148
   (struct-type-install-properties!
    struct:known-field-mutator/need-imports
-   'known-field-mutator/need-imports
+   '(known-field-mutator/need-imports)
    1
    0
    (if (struct-type? struct:known-field-mutator)
@@ -2559,10 +2559,10 @@
    #f
    0
    0))
-(define effect_2752
+(define effect_2693
   (struct-type-install-properties!
    struct:known-struct-type-property/immediate-guard
-   'known-struct-type-property/immediate-guard
+   '(known-struct-type-property/immediate-guard)
    0
    0
    #f
diff --git a/racket/src/cs/schemified/regexp.scm b/racket/src/cs/schemified/regexp.scm
index 60a53b39ee..385541a477 100644
--- a/racket/src/cs/schemified/regexp.scm
+++ b/racket/src/cs/schemified/regexp.scm
@@ -874,10 +874,10 @@
    #f
    2
    0))
-(define effect_2665
+(define effect_1936
   (struct-type-install-properties!
    struct:rx:alts
-   'rx:alts
+   '(rx:alts)
    2
    0
    #f
@@ -930,10 +930,10 @@
    #f
    2
    0))
-(define effect_2137
+(define effect_2662
   (struct-type-install-properties!
    struct:rx:sequence
-   'rx:sequence
+   '(rx:sequence)
    2
    0
    #f
@@ -1001,10 +1001,10 @@
    #f
    2
    0))
-(define effect_2340
+(define effect_3021
   (struct-type-install-properties!
    struct:rx:group
-   'rx:group
+   '(rx:group)
    2
    0
    #f
@@ -1069,10 +1069,10 @@
    #f
    4
    0))
-(define effect_2551
+(define effect_2413
   (struct-type-install-properties!
    struct:rx:repeat
-   'rx:repeat
+   '(rx:repeat)
    4
    0
    #f
@@ -1170,10 +1170,10 @@
    #f
    2
    0))
-(define effect_2619
+(define effect_1615
   (struct-type-install-properties!
    struct:rx:maybe
-   'rx:maybe
+   '(rx:maybe)
    2
    0
    #f
@@ -1238,10 +1238,10 @@
    #f
    6
    0))
-(define effect_2459
+(define effect_2714
   (struct-type-install-properties!
    struct:rx:conditional
-   'rx:conditional
+   '(rx:conditional)
    6
    0
    #f
@@ -1375,10 +1375,10 @@
    #f
    4
    0))
-(define effect_2324
+(define effect_2193
   (struct-type-install-properties!
    struct:rx:lookahead
-   'rx:lookahead
+   '(rx:lookahead)
    4
    0
    #f
@@ -1478,10 +1478,10 @@
    #f
    6
    12))
-(define effect_2263
+(define effect_2578
   (struct-type-install-properties!
    struct:rx:lookbehind
-   'rx:lookbehind
+   '(rx:lookbehind)
    6
    0
    #f
@@ -1649,10 +1649,10 @@
    #f
    4
    0))
-(define effect_2942
+(define effect_2428
   (struct-type-install-properties!
    struct:rx:cut
-   'rx:cut
+   '(rx:cut)
    4
    0
    #f
@@ -1742,10 +1742,10 @@
    #f
    2
    0))
-(define effect_2344
+(define effect_2572
   (struct-type-install-properties!
    struct:rx:reference
-   'rx:reference
+   '(rx:reference)
    2
    0
    #f
@@ -1815,10 +1815,10 @@
    #f
    1
    0))
-(define effect_2702
+(define effect_2430
   (struct-type-install-properties!
    struct:rx:range
-   'rx:range
+   '(rx:range)
    1
    0
    #f
@@ -1867,10 +1867,10 @@
    #f
    2
    0))
-(define effect_2129
+(define effect_2489
   (struct-type-install-properties!
    struct:rx:unicode-categories
-   'rx:unicode-categories
+   '(rx:unicode-categories)
    2
    0
    #f
@@ -2138,10 +2138,10 @@
    #f
    7
    0))
-(define effect_2566
+(define effect_2522
   (struct-type-install-properties!
    struct:parse-config
-   'parse-config
+   '(parse-config)
    7
    0
    #f
@@ -4706,10 +4706,10 @@
    #f
    13
    3075))
-(define effect_2272
+(define effect_2409
   (struct-type-install-properties!
    struct:lazy-bytes
-   'lazy-bytes
+   '(lazy-bytes)
    13
    0
    #f
@@ -7251,10 +7251,10 @@
    #f
    10
    0))
-(define effect_2093
+(define effect_2528
   (struct-type-install-properties!
    struct:rx:regexp
-   'regexp
+   '(regexp)
    10
    0
    #f
diff --git a/racket/src/cs/schemified/schemify.scm b/racket/src/cs/schemified/schemify.scm
index 70dd6eaa52..dc825a5666 100644
--- a/racket/src/cs/schemified/schemify.scm
+++ b/racket/src/cs/schemified/schemify.scm
@@ -1966,10 +1966,10 @@
    #f
    0
    0))
-(define effect_2431
+(define effect_2175
   (struct-type-install-properties!
    struct:known-constant
-   'known-constant
+   '(known-constant)
    0
    0
    #f
@@ -2015,10 +2015,10 @@
    #f
    0
    0))
-(define effect_2525
+(define effect_2225
   (struct-type-install-properties!
    struct:known-consistent
-   'known-consistent
+   '(known-consistent)
    0
    0
    (if (struct-type? struct:known-constant)
@@ -2066,10 +2066,10 @@
    #f
    0
    0))
-(define effect_2733
+(define effect_3179
   (struct-type-install-properties!
    struct:known-authentic
-   'known-authentic
+   '(known-authentic)
    0
    0
    (if (struct-type? struct:known-constant)
@@ -2117,10 +2117,10 @@
    #f
    1
    1))
-(define effect_2848
+(define effect_1974
   (struct-type-install-properties!
    struct:known-copy
-   'known-copy
+   '(known-copy)
    1
    0
    (if (struct-type? struct:known-constant)
@@ -2182,10 +2182,10 @@
    #f
    1
    1))
-(define effect_2418
+(define effect_2741
   (struct-type-install-properties!
    struct:known-literal
-   'known-literal
+   '(known-literal)
    1
    0
    (if (struct-type? struct:known-consistent)
@@ -2249,10 +2249,10 @@
    #f
    1
    1))
-(define effect_2727
+(define effect_1867
   (struct-type-install-properties!
    struct:known-procedure
-   'known-procedure
+   '(known-procedure)
    1
    0
    (if (struct-type? struct:known-consistent)
@@ -2318,10 +2318,10 @@
    #f
    0
    0))
-(define effect_3076
+(define effect_2708
   (struct-type-install-properties!
    struct:known-procedure/single-valued
-   'known-procedure/single-valued
+   '(known-procedure/single-valued)
    0
    0
    (if (struct-type? struct:known-procedure)
@@ -2374,10 +2374,10 @@
    #f
    0
    0))
-(define effect_2720
+(define effect_2348
   (struct-type-install-properties!
    struct:known-procedure/no-prompt
-   'known-procedure/no-prompt
+   '(known-procedure/no-prompt)
    0
    0
    (if (struct-type? struct:known-procedure/single-valued)
@@ -2430,10 +2430,10 @@
    #f
    0
    0))
-(define effect_2928
+(define effect_2331
   (struct-type-install-properties!
    struct:known-procedure/no-prompt/multi
-   'known-procedure/no-prompt/multi
+   '(known-procedure/no-prompt/multi)
    0
    0
    (if (struct-type? struct:known-procedure)
@@ -2486,10 +2486,10 @@
    #f
    0
    0))
-(define effect_2574
+(define effect_2377
   (struct-type-install-properties!
    struct:known-procedure/no-return
-   'known-procedure/no-return
+   '(known-procedure/no-return)
    0
    0
    (if (struct-type? struct:known-procedure/single-valued)
@@ -2542,10 +2542,10 @@
    #f
    1
    1))
-(define effect_2566
+(define effect_2149
   (struct-type-install-properties!
    struct:known-procedure/can-inline
-   'known-procedure/can-inline
+   '(known-procedure/can-inline)
    1
    0
    (if (struct-type? struct:known-procedure)
@@ -2616,10 +2616,10 @@
    #f
    1
    1))
-(define effect_2249
+(define effect_2717
   (struct-type-install-properties!
    struct:known-procedure/can-inline/need-imports
-   'known-procedure/can-inline/need-imports
+   '(known-procedure/can-inline/need-imports)
    1
    0
    (if (struct-type? struct:known-procedure/can-inline)
@@ -2690,10 +2690,10 @@
    #f
    0
    0))
-(define effect_2382
+(define effect_2516
   (struct-type-install-properties!
    struct:known-procedure/folding
-   'known-procedure/folding
+   '(known-procedure/folding)
    0
    0
    (if (struct-type? struct:known-procedure/no-prompt)
@@ -2746,10 +2746,10 @@
    #f
    1
    1))
-(define effect_2255
+(define effect_2551
   (struct-type-install-properties!
    struct:known-procedure/folding/limited
-   'known-procedure/folding/limited
+   '(known-procedure/folding/limited)
    1
    0
    (if (struct-type? struct:known-procedure/folding)
@@ -2820,10 +2820,10 @@
    #f
    0
    0))
-(define effect_2403
+(define effect_2332
   (struct-type-install-properties!
    struct:known-procedure/succeeds
-   'known-procedure/succeeds
+   '(known-procedure/succeeds)
    0
    0
    (if (struct-type? struct:known-procedure/no-prompt)
@@ -2876,10 +2876,10 @@
    #f
    0
    0))
-(define effect_2234
+(define effect_2307
   (struct-type-install-properties!
    struct:known-procedure/allocates
-   'known-procedure/allocates
+   '(known-procedure/allocates)
    0
    0
    (if (struct-type? struct:known-procedure/succeeds)
@@ -2932,10 +2932,10 @@
    #f
    0
    0))
-(define effect_2568
+(define effect_2394
   (struct-type-install-properties!
    struct:known-procedure/pure
-   'known-procedure/pure
+   '(known-procedure/pure)
    0
    0
    (if (struct-type? struct:known-procedure/allocates)
@@ -2985,10 +2985,10 @@
    #f
    0
    0))
-(define effect_2204
+(define effect_2781
   (struct-type-install-properties!
    struct:known-procedure/pure/folding
-   'known-procedure/pure/folding
+   '(known-procedure/pure/folding)
    0
    0
    (if (struct-type? struct:known-procedure/pure)
@@ -3041,10 +3041,10 @@
    #f
    1
    1))
-(define effect_2430
+(define effect_2709
   (struct-type-install-properties!
    struct:known-procedure/pure/folding-unsafe
-   'known-procedure/pure/folding-unsafe
+   '(known-procedure/pure/folding-unsafe)
    1
    0
    (if (struct-type? struct:known-procedure/pure/folding)
@@ -3115,10 +3115,10 @@
    #f
    1
    1))
-(define effect_2420
+(define effect_2998
   (struct-type-install-properties!
    struct:known-procedure/has-unsafe
-   'known-procedure/has-unsafe
+   '(known-procedure/has-unsafe)
    1
    0
    (if (struct-type? struct:known-procedure/no-prompt)
@@ -3189,10 +3189,10 @@
    #f
    0
    0))
-(define effect_1752
+(define effect_2584
   (struct-type-install-properties!
    struct:known-procedure/has-unsafe/folding
-   'known-procedure/has-unsafe/folding
+   '(known-procedure/has-unsafe/folding)
    0
    0
    (if (struct-type? struct:known-procedure/has-unsafe)
@@ -3245,10 +3245,10 @@
    #f
    1
    1))
-(define effect_2526
+(define effect_2633
   (struct-type-install-properties!
    struct:known-procedure/has-unsafe/folding/limited
-   'known-procedure/has-unsafe/folding/limited
+   '(known-procedure/has-unsafe/folding/limited)
    1
    0
    (if (struct-type? struct:known-procedure/has-unsafe/folding)
@@ -3320,10 +3320,10 @@
    #f
    3
    7))
-(define effect_2722
+(define effect_2547
   (struct-type-install-properties!
    struct:known-struct-type
-   'known-struct-type
+   '(known-struct-type)
    3
    0
    (if (struct-type? struct:known-consistent)
@@ -3425,10 +3425,10 @@
    #f
    1
    1))
-(define effect_2907
+(define effect_2090
   (struct-type-install-properties!
    struct:known-constructor
-   'known-constructor
+   '(known-constructor)
    1
    0
    (if (struct-type? struct:known-procedure/allocates)
@@ -3494,10 +3494,10 @@
    #f
    1
    1))
-(define effect_2630
+(define effect_2975
   (struct-type-install-properties!
    struct:known-predicate
-   'known-predicate
+   '(known-predicate)
    1
    0
    (if (struct-type? struct:known-procedure/pure)
@@ -3561,10 +3561,10 @@
    #f
    1
    1))
-(define effect_2802
+(define effect_2542
   (struct-type-install-properties!
    struct:known-accessor
-   'known-accessor
+   '(known-accessor)
    1
    0
    (if (struct-type? struct:known-procedure/single-valued)
@@ -3628,10 +3628,10 @@
    #f
    1
    1))
-(define effect_2101
+(define effect_2533
   (struct-type-install-properties!
    struct:known-mutator
-   'known-mutator
+   '(known-mutator)
    1
    0
    (if (struct-type? struct:known-procedure/single-valued)
@@ -3695,10 +3695,10 @@
    #f
    1
    1))
-(define effect_3019
+(define effect_2411
   (struct-type-install-properties!
    struct:known-struct-constructor
-   'known-struct-constructor
+   '(known-struct-constructor)
    1
    0
    (if (struct-type? struct:known-constructor)
@@ -3772,7 +3772,7 @@
 (define effect_2929
   (struct-type-install-properties!
    struct:known-struct-predicate
-   'known-struct-predicate
+   '(known-struct-predicate)
    2
    0
    (if (struct-type? struct:known-predicate)
@@ -3858,10 +3858,10 @@
    #f
    4
    15))
-(define effect_2706
+(define effect_2971
   (struct-type-install-properties!
    struct:known-field-accessor
-   'known-field-accessor
+   '(known-field-accessor)
    4
    0
    (if (struct-type? struct:known-accessor)
@@ -3983,10 +3983,10 @@
    #f
    3
    7))
-(define effect_3046
+(define effect_2493
   (struct-type-install-properties!
    struct:known-field-mutator
-   'known-field-mutator
+   '(known-field-mutator)
    3
    0
    (if (struct-type? struct:known-mutator)
@@ -4090,10 +4090,10 @@
    #f
    1
    1))
-(define effect_2765
+(define effect_3135
   (struct-type-install-properties!
    struct:known-struct-constructor/need-imports
-   'known-struct-constructor/need-imports
+   '(known-struct-constructor/need-imports)
    1
    0
    (if (struct-type? struct:known-struct-constructor)
@@ -4164,10 +4164,10 @@
    #f
    1
    1))
-(define effect_2432
+(define effect_2453
   (struct-type-install-properties!
    struct:known-struct-predicate/need-imports
-   'known-struct-predicate/need-imports
+   '(known-struct-predicate/need-imports)
    1
    0
    (if (struct-type? struct:known-struct-predicate)
@@ -4238,10 +4238,10 @@
    #f
    1
    1))
-(define effect_2891
+(define effect_2353
   (struct-type-install-properties!
    struct:known-field-accessor/need-imports
-   'known-field-accessor/need-imports
+   '(known-field-accessor/need-imports)
    1
    0
    (if (struct-type? struct:known-field-accessor)
@@ -4312,10 +4312,10 @@
    #f
    1
    1))
-(define effect_2824
+(define effect_2148
   (struct-type-install-properties!
    struct:known-field-mutator/need-imports
-   'known-field-mutator/need-imports
+   '(known-field-mutator/need-imports)
    1
    0
    (if (struct-type? struct:known-field-mutator)
@@ -4382,10 +4382,10 @@
    #f
    0
    0))
-(define effect_2752
+(define effect_2693
   (struct-type-install-properties!
    struct:known-struct-type-property/immediate-guard
-   'known-struct-type-property/immediate-guard
+   '(known-struct-type-property/immediate-guard)
    0
    0
    #f
@@ -4444,10 +4444,10 @@
    #f
    4
    0))
-(define effect_2897
+(define effect_3124
   (struct-type-install-properties!
    struct:import
-   'import
+   '(import)
    4
    0
    #f
@@ -4531,10 +4531,10 @@
    #f
    6
    60))
-(define effect_2514
+(define effect_2534
   (struct-type-install-properties!
    struct:import-group
-   'import-group
+   '(import-group)
    6
    0
    #f
@@ -4901,10 +4901,10 @@
    #f
    2
    0))
-(define effect_2166
+(define effect_2393
   (struct-type-install-properties!
    struct:export
-   'export
+   '(export)
    2
    0
    #f
@@ -4962,10 +4962,10 @@
    #f
    2
    0))
-(define effect_2681
+(define effect_2424
   (struct-type-install-properties!
    struct:too-early
-   'too-early
+   '(too-early)
    2
    0
    #f
@@ -7271,10 +7271,10 @@
    #f
    10
    0))
-(define effect_3042
+(define effect_2476
   (struct-type-install-properties!
    struct:struct-type-info
-   'struct-type-info
+   '(struct-type-info)
    10
    0
    #f
@@ -17128,7 +17128,11 @@
                                      (let ((app_2
                                             (list
                                              'quote
-                                             (struct-type-info-name sti_0))))
+                                             (if system-opaque?_0
+                                               (list
+                                                (struct-type-info-name sti_0))
+                                               (struct-type-info-name
+                                                sti_0)))))
                                        (let ((app_3
                                               (struct-type-info-immediate-field-count
                                                sti_0)))
@@ -30276,10 +30280,10 @@
    #f
    4
    0))
-(define effect_2645
+(define effect_2536
   (struct-type-install-properties!
    struct:convert-mode
-   'convert-mode
+   '(convert-mode)
    4
    0
    #f
@@ -39416,10 +39420,10 @@
    #f
    3
    0))
-(define effect_3053
+(define effect_2468
   (struct-type-install-properties!
    struct:to-unfasl
-   'to-unfasl
+   '(to-unfasl)
    3
    0
    #f
@@ -39567,10 +39571,10 @@
    #f
    5
    0))
-(define effect_2498
+(define effect_2447
   (struct-type-install-properties!
    struct:node
-   'node
+   '(node)
    5
    0
    #f
@@ -39889,10 +39893,10 @@
    #f
    5
    28))
-(define effect_2396
+(define effect_2734
   (struct-type-install-properties!
    struct:stack-info
-   'stack-info
+   '(stack-info)
    5
    0
    #f
@@ -40247,10 +40251,10 @@
    #f
    2
    0))
-(define effect_2066
+(define effect_2736
   (struct-type-install-properties!
    struct:indirect
-   'indirect
+   '(indirect)
    2
    0
    #f
@@ -40315,10 +40319,10 @@
    #f
    1
    0))
-(define effect_2558
+(define effect_2333
   (struct-type-install-properties!
    struct:boxed
-   'boxed
+   '(boxed)
    1
    0
    #f
@@ -40360,10 +40364,10 @@
    #f
    0
    0))
-(define effect_2563
+(define effect_2358
   (struct-type-install-properties!
    struct:boxed/check
-   'boxed/check
+   '(boxed/check)
    0
    0
    struct:boxed
diff --git a/racket/src/cs/schemified/thread.scm b/racket/src/cs/schemified/thread.scm
index dd25b5c8af..d02977fd23 100644
--- a/racket/src/cs/schemified/thread.scm
+++ b/racket/src/cs/schemified/thread.scm
@@ -981,10 +981,10 @@
    #f
    2
    3))
-(define effect_2520
+(define effect_2212
   (struct-type-install-properties!
    struct:queue
-   'queue
+   '(queue)
    2
    0
    #f
@@ -1015,10 +1015,10 @@
    #f
    3
    6))
-(define effect_2809
+(define effect_2496
   (struct-type-install-properties!
    struct:node$2
-   'node
+   '(node)
    3
    0
    #f
@@ -1249,10 +1249,10 @@
    #f
    5
    0))
-(define effect_2451
+(define effect_1764
   (struct-type-install-properties!
    struct:node$1
-   'node
+   '(node)
    5
    0
    #f
@@ -1528,10 +1528,10 @@
    #f
    11
    2047))
-(define effect_2883
+(define effect_2467
   (struct-type-install-properties!
    struct:sandman
-   'sandman
+   '(sandman)
    11
    0
    #f
@@ -1986,10 +1986,10 @@
    #f
    1
    0))
-(define effect_2090
+(define effect_3012
   (struct-type-install-properties!
    struct:selector-prop-evt-value
-   'selector-prop-evt-value
+   '(selector-prop-evt-value)
    1
    0
    #f
@@ -2034,10 +2034,10 @@
    #f
    1
    0))
-(define effect_2384
+(define effect_2322
   (struct-type-install-properties!
    struct:poller
-   'poller
+   '(poller)
    1
    0
    #f
@@ -2063,10 +2063,10 @@
    #f
    4
    8))
-(define effect_3060
+(define effect_2873
   (struct-type-install-properties!
    struct:poll-ctx
-   'poll-ctx
+   '(poll-ctx)
    4
    0
    #f
@@ -2101,10 +2101,10 @@
    #f
    0
    0))
-(define effect_2812
+(define effect_2678
   (struct-type-install-properties!
    struct:never-evt
-   'never-evt
+   '(never-evt)
    0
    0
    #f
@@ -2142,10 +2142,10 @@
    #f
    0
    0))
-(define effect_2453
+(define effect_2666
   (struct-type-install-properties!
    struct:always-evt
-   'always-evt
+   '(always-evt)
    0
    0
    #f
@@ -2183,10 +2183,10 @@
    #f
    0
    0))
-(define effect_2629
+(define effect_2516
   (struct-type-install-properties!
    struct:async-evt
-   'async-evt
+   '(async-evt)
    0
    0
    #f
@@ -2217,10 +2217,10 @@
 (define the-async-evt (async-evt6.1))
 (define struct:wrap-evt
   (make-record-type-descriptor* 'evt #f (|#%nongenerative-uid| evt) #f #f 2 0))
-(define effect_2319
+(define effect_2243
   (struct-type-install-properties!
    struct:wrap-evt
-   'evt
+   '(evt)
    2
    0
    #f
@@ -2282,10 +2282,10 @@
    #f
    0
    0))
-(define effect_2329
+(define effect_2575
   (struct-type-install-properties!
    struct:handle-evt
-   'handle-evt
+   '(handle-evt)
    0
    0
    struct:wrap-evt
@@ -2321,10 +2321,10 @@
    #f
    5
    0))
-(define effect_2665
+(define effect_2497
   (struct-type-install-properties!
    struct:control-state-evt
-   'control-state-evt
+   '(control-state-evt)
    5
    0
    #f
@@ -2446,10 +2446,10 @@
          'retry-proc))))))
 (define struct:poll-guard-evt
   (make-record-type-descriptor* 'evt #f (|#%nongenerative-uid| evt) #f #f 1 0))
-(define effect_2393
+(define effect_2340
   (struct-type-install-properties!
    struct:poll-guard-evt
-   'evt
+   '(evt)
    1
    0
    #f
@@ -2497,10 +2497,10 @@
          'proc))))))
 (define struct:choice-evt
   (make-record-type-descriptor* 'evt #f (|#%nongenerative-uid| evt) #f #f 1 0))
-(define effect_2512
+(define effect_2203
   (struct-type-install-properties!
    struct:choice-evt
-   'evt
+   '(evt)
    1
    0
    #f
@@ -2583,10 +2583,10 @@
    #f
    1
    0))
-(define effect_3144
+(define effect_2389
   (struct-type-install-properties!
    struct:delayed-poll
-   'delayed-poll
+   '(delayed-poll)
    1
    0
    #f
@@ -2614,10 +2614,10 @@
    #f
    1
    0))
-(define effect_2558
+(define effect_2296
   (struct-type-install-properties!
    struct:poller-evt
-   'poller-evt
+   '(poller-evt)
    1
    0
    #f
@@ -2670,10 +2670,10 @@
    #f
    2
    0))
-(define effect_3162
+(define effect_3276
   (struct-type-install-properties!
    struct:waiter-methods
-   'waiter-methods
+   '(waiter-methods)
    2
    0
    #f
@@ -2714,10 +2714,10 @@
    #f
    1
    0))
-(define effect_2458
+(define effect_2810
   (struct-type-install-properties!
    struct:select-waiter
-   'select-waiter
+   '(select-waiter)
    1
    0
    #f
@@ -2777,10 +2777,10 @@
    #f
    13
    8188))
-(define effect_2364
+(define effect_2862
   (struct-type-install-properties!
    struct:custodian
-   'custodian
+   '(custodian)
    13
    0
    #f
@@ -2910,10 +2910,10 @@
    #f
    1
    0))
-(define effect_2650
+(define effect_2533
   (struct-type-install-properties!
    struct:message-ized
-   'message-ized
+   '(message-ized)
    1
    0
    #f
@@ -4005,10 +4005,10 @@
    #f
    19
    491440))
-(define effect_3085
+(define effect_2252
   (struct-type-install-properties!
    struct:place
-   'place
+   '(place)
    19
    0
    #f
@@ -4168,10 +4168,10 @@
    #f
    1
    1))
-(define effect_3126
+(define effect_2858
   (struct-type-install-properties!
    struct:semaphore
-   'semaphore
+   '(semaphore)
    1
    0
    struct:queue
@@ -4208,10 +4208,10 @@
    #f
    1
    0))
-(define effect_2127
+(define effect_2145
   (struct-type-install-properties!
    struct:semaphore-peek-evt
-   'semaphore-peek-evt
+   '(semaphore-peek-evt)
    1
    0
    #f
@@ -4271,10 +4271,10 @@
    #f
    0
    0))
-(define effect_2734
+(define effect_2532
   (struct-type-install-properties!
    struct:semaphore-peek-select-waiter
-   'semaphore-peek-select-waiter
+   '(semaphore-peek-select-waiter)
    0
    0
    struct:select-waiter
@@ -4505,10 +4505,10 @@
    #f
    2
    3))
-(define effect_2755
+(define effect_2309
   (struct-type-install-properties!
    struct:node
-   'node
+   '(node)
    2
    0
    #f
@@ -4541,10 +4541,10 @@
    #f
    4
    14))
-(define effect_2111
+(define effect_2274
   (struct-type-install-properties!
    struct:thread-group
-   'thread-group
+   '(thread-group)
    4
    0
    struct:node
@@ -4713,10 +4713,10 @@
    #f
    2
    3))
-(define effect_2459
+(define effect_2483
   (struct-type-install-properties!
    struct:schedule-info
-   'schedule-info
+   '(schedule-info)
    2
    0
    #f
@@ -4844,10 +4844,10 @@
    #f
    2
    0))
-(define effect_2525
+(define effect_2626
   (struct-type-install-properties!
    struct:plumber
-   'plumber
+   '(plumber)
    2
    0
    #f
@@ -4892,10 +4892,10 @@
    #f
    2
    0))
-(define effect_2524
+(define effect_2487
   (struct-type-install-properties!
    struct:plumber-flush-handle
-   'plumber-flush-handle
+   '(plumber-flush-handle)
    2
    0
    #f
@@ -5124,10 +5124,10 @@
    #f
    2
    1))
-(define effect_2780
+(define effect_2348
   (struct-type-install-properties!
    struct:custodian-box
-   'custodian-box
+   '(custodian-box)
    2
    0
    #f
@@ -5164,10 +5164,10 @@
    #f
    2
    0))
-(define effect_2810
+(define effect_2870
   (struct-type-install-properties!
    struct:willed-callback
-   'willed-callback
+   '(willed-callback)
    2
    0
    #f
@@ -5197,10 +5197,10 @@
    #f
    0
    0))
-(define effect_2345
+(define effect_2332
   (struct-type-install-properties!
    struct:at-exit-callback
-   'at-exit-callback
+   '(at-exit-callback)
    0
    0
    struct:willed-callback
@@ -5226,10 +5226,10 @@
    #f
    1
    1))
-(define effect_2616
+(define effect_2409
   (struct-type-install-properties!
    struct:custodian-reference
-   'custodian-reference
+   '(custodian-reference)
    1
    0
    #f
@@ -6106,7 +6106,7 @@
 (define memory-limit-lock (|#%app| host:make-mutex))
 (define compute-memory-sizes 0)
 (define computed-memory-sizes? #f)
-(define effect_2497
+(define effect_2498
   (begin
     (void
      (|#%app|
@@ -6569,10 +6569,10 @@
    #f
    24
    16777082))
-(define effect_2521
+(define effect_2967
   (struct-type-install-properties!
    struct:thread
-   'thread
+   '(thread)
    24
    0
    struct:node
@@ -7079,10 +7079,10 @@
    #f
    1
    0))
-(define effect_2807
+(define effect_2406
   (struct-type-install-properties!
    struct:dead-evt
-   'thread-dead-evt
+   '(thread-dead-evt)
    1
    0
    #f
@@ -7409,10 +7409,10 @@
    #f
    2
    0))
-(define effect_2586
+(define effect_2379
   (struct-type-install-properties!
    struct:transitive-resume
-   'transitive-resume
+   '(transitive-resume)
    2
    0
    #f
@@ -7540,10 +7540,10 @@
    #f
    2
    2))
-(define effect_2400
+(define effect_2856
   (struct-type-install-properties!
    struct:suspend-resume-evt
-   'suspend-resume-evt
+   '(suspend-resume-evt)
    2
    0
    #f
@@ -7641,10 +7641,10 @@
    #f
    0
    0))
-(define effect_3145
+(define effect_2484
   (struct-type-install-properties!
    struct:suspend-evt
-   'thread-suspend-evt
+   '(thread-suspend-evt)
    0
    0
    struct:suspend-resume-evt
@@ -7678,10 +7678,10 @@
    #f
    0
    0))
-(define effect_2454
+(define effect_2390
   (struct-type-install-properties!
    struct:resume-evt
-   'thread-resume-evt
+   '(thread-resume-evt)
    0
    0
    struct:suspend-resume-evt
@@ -8114,10 +8114,10 @@
    #f
    0
    0))
-(define effect_2592
+(define effect_2597
   (struct-type-install-properties!
    struct:thread-receiver-evt
-   'thread-receive-evt
+   '(thread-receive-evt)
    0
    0
    #f
@@ -8222,10 +8222,10 @@
    #f
    2
    0))
-(define effect_1795
+(define effect_2021
   (struct-type-install-properties!
    struct:channel
-   'channel
+   '(channel)
    2
    0
    #f
@@ -8294,10 +8294,10 @@
    #f
    2
    0))
-(define effect_2694
+(define effect_2566
   (struct-type-install-properties!
    struct:channel-put-evt*
-   'channel-put-evt
+   '(channel-put-evt)
    2
    0
    #f
@@ -8375,10 +8375,10 @@
    #f
    1
    0))
-(define effect_3243
+(define effect_2402
   (struct-type-install-properties!
    struct:channel-select-waiter
-   'channel-select-waiter
+   '(channel-select-waiter)
    1
    0
    struct:select-waiter
@@ -8889,10 +8889,10 @@
    #f
    5
    31))
-(define effect_2377
+(define effect_2287
   (struct-type-install-properties!
    struct:syncing
-   'syncing
+   '(syncing)
    5
    0
    #f
@@ -9095,10 +9095,10 @@
    #f
    9
    511))
-(define effect_2549
+(define effect_2172
   (struct-type-install-properties!
    struct:syncer
-   'syncer
+   '(syncer)
    9
    0
    #f
@@ -10618,10 +10618,10 @@
          (end-atomic))))))
 (define struct:replacing-evt
   (make-record-type-descriptor* 'evt #f (|#%nongenerative-uid| evt) #f #f 1 0))
-(define effect_2634
+(define effect_2315
   (struct-type-install-properties!
    struct:replacing-evt
-   'evt
+   '(evt)
    1
    0
    #f
@@ -10670,10 +10670,10 @@
          'guard))))))
 (define struct:nested-sync-evt
   (make-record-type-descriptor* 'evt #f (|#%nongenerative-uid| evt) #f #f 3 0))
-(define effect_2232
+(define effect_2607
   (struct-type-install-properties!
    struct:nested-sync-evt
-   'evt
+   '(evt)
    3
    0
    #f
@@ -10894,10 +10894,10 @@
    #f
    0
    0))
-(define effect_2282
+(define effect_2854
   (struct-type-install-properties!
    struct:system-idle-evt
-   'system-idle-evt
+   '(system-idle-evt)
    0
    0
    #f
@@ -10955,10 +10955,10 @@
    #f
    10
    1016))
-(define effect_2884
+(define effect_3020
   (struct-type-install-properties!
    struct:future*
-   'future
+   '(future)
    10
    0
    #f
@@ -11058,10 +11058,10 @@
    #f
    6
    63))
-(define effect_2666
+(define effect_2966
   (struct-type-install-properties!
    struct:future-event
-   'future-event
+   '(future-event)
    6
    0
    #f
@@ -11350,10 +11350,10 @@
    #f
    1
    0))
-(define effect_2445
+(define effect_2519
   (struct-type-install-properties!
    struct:future-evt
-   'future-evt
+   '(future-evt)
    1
    0
    #f
@@ -11793,10 +11793,10 @@
    #f
    6
    7))
-(define effect_2609
+(define effect_2452
   (struct-type-install-properties!
    struct:scheduler
-   'scheduler
+   '(scheduler)
    6
    0
    #f
@@ -11839,10 +11839,10 @@
    #f
    5
    26))
-(define effect_2322
+(define effect_2639
   (struct-type-install-properties!
    struct:worker
-   'worker
+   '(worker)
    5
    0
    #f
@@ -12687,10 +12687,10 @@
    #f
    1
    0))
-(define effect_2291
+(define effect_2783
   (struct-type-install-properties!
    struct:alarm-evt
-   'alarm-evt
+   '(alarm-evt)
    1
    0
    #f
@@ -13249,10 +13249,10 @@
    #f
    2
    0))
-(define effect_3021
+(define effect_2531
   (struct-type-install-properties!
    struct:will-executor
-   'will-executor
+   '(will-executor)
    2
    0
    #f
@@ -13595,10 +13595,10 @@
    #f
    4
    15))
-(define effect_2267
+(define effect_2427
   (struct-type-install-properties!
    struct:place-event
-   'place-event
+   '(place-event)
    4
    0
    #f
@@ -14279,10 +14279,10 @@
    #f
    2
    0))
-(define effect_2146
+(define effect_2098
   (struct-type-install-properties!
    struct:place-done-evt
-   'place-dead-evt
+   '(place-dead-evt)
    2
    0
    #f
@@ -14385,10 +14385,10 @@
    #f
    6
    22))
-(define effect_2821
+(define effect_2499
   (struct-type-install-properties!
    struct:message-queue
-   'message-queue
+   '(message-queue)
    6
    0
    #f
@@ -14540,10 +14540,10 @@
    #f
    6
    0))
-(define effect_2712
+(define effect_2960
   (struct-type-install-properties!
    struct:pchannel
-   'place-channel
+   '(place-channel)
    6
    0
    #f
@@ -14829,10 +14829,10 @@
    #f
    4
    13))
-(define effect_2870
+(define effect_2715
   (struct-type-install-properties!
    struct:fsemaphore
-   'fsemaphore
+   '(fsemaphore)
    4
    0
    #f
@@ -14872,10 +14872,10 @@
    #f
    1
    0))
-(define effect_2902
+(define effect_2250
   (struct-type-install-properties!
    struct:fsemaphore-box-evt
-   'fsemaphore-box-evt
+   '(fsemaphore-box-evt)
    1
    0
    #f
@@ -15074,10 +15074,10 @@
    #f
    3
    1))
-(define effect_3038
+(define effect_2314
   (struct-type-install-properties!
    struct:os-semaphore
-   'os-semaphore
+   '(os-semaphore)
    3
    0
    #f
diff --git a/racket/src/expander/expand/liberal-def-ctx.rkt b/racket/src/expander/expand/liberal-def-ctx.rkt
index b5097eedea..f35ce559f9 100644
--- a/racket/src/expander/expand/liberal-def-ctx.rkt
+++ b/racket/src/expander/expand/liberal-def-ctx.rkt
@@ -8,7 +8,6 @@
   (make-struct-type-property 'liberal-define-context))
 
 (struct liberal-define-context ()
-  #:transparent
   #:property prop:liberal-define-context #t
   #:constructor-name make-liberal-define-context)
 
diff --git a/racket/src/schemify/struct-convert.rkt b/racket/src/schemify/struct-convert.rkt
index 465477252a..92104304c9 100644
--- a/racket/src/schemify/struct-convert.rkt
+++ b/racket/src/schemify/struct-convert.rkt
@@ -95,7 +95,11 @@
                  null
                  `((define ,(deterministic-gensym "effect")
                      (struct-type-install-properties! ,struct:s
-                                                      ',(struct-type-info-name sti)
+                                                      ',(if system-opaque?
+                                                            ;; list is recognized by `struct-type-install-properties!`
+                                                            ;; to indincate a system structure type:
+                                                            (list (struct-type-info-name sti))
+                                                            (struct-type-info-name sti))
                                                       ,(struct-type-info-immediate-field-count sti)
                                                       0
                                                       ,(schemify (struct-type-info-parent sti) knowns)