I feel like some code is missing

Author: andrew-johnson-4

PRODUCTION/codegen-strict.lm

@@ -187,12 +187,12 @@ compile-expr-strict := λctx e offset used . (tail(
                e1
             )))
             ( (App( (App( (Literal ':) lval )) ltype )) (tail(
-               (set e1 (compile-expr-strict( ctx lval offset Unused )))
+               (set e1 (compile-expr-strict( ctx lval offset Used )))
                (set e1 (expr::set-type( e1 (typecheck-lookup e) )))
                e1
             )))
             ( (App( (App( (Variable 'as) lval )) ltype )) (tail(
-               (set e1 (compile-expr-strict( ctx lval offset Unused )))
+               (set e1 (compile-expr-strict( ctx lval offset Used )))
                (set e1 (expr::set-type( e1 (typecheck-lookup e) )))
                e1
             )))

STRICT/cli.lm

@@ -15,10 +15,9 @@ main := λ(: argc U64)(: argv U8[][]).(tail(
 #   (let argi 0u64)
    (let input_l (SAtom( 'an-atom_s )))
    (let input_r (SPointer( as 'test_s ?[] )))
-   (let input (SCons(
-      (close( input_l ))
-      (close( input_r ))
-   )))
+   (let close_l (close( input_l )))
+   (let close_r (close( input_r )))
+   (let input (SCons( close_l close_r )))
    (print input)
 #   (while (<( argi argc )) (
 #      (if (==( ([]( argv argi )) '--tokenize_s )) (