diff --git a/compiler/compiler.rkt b/compiler/compiler.rkt
index 1e07611..dbd7152 100644
--- a/compiler/compiler.rkt
+++ b/compiler/compiler.rkt
@@ -1286,13 +1286,12 @@
 (define (ensure-simple-expression e)
   (if (or (Constant? e)
           (LocalRef? e)
-          (ToplevelRef? e)
-          )
+          (ToplevelRef? e))
       e
       (error 'ensure-simple-expression)))
 
 
-(: simple-operands->opargs ((Listof Expression) (Listof CompileTimeEnvironmentEntry) -> (Listof (U OpArg ModuleVariable))))
+(: simple-operands->opargs ((Listof Expression) (Listof CompileTimeEnvironmentEntry) -> (Listof OpArg)))
 ;; Produces a list of OpArgs if all the operands are particularly simple, and false otherwise.
 (define (simple-operands->opargs rands knowledge)
   (map (lambda: ([e : Expression]
diff --git a/compiler/il-structs.rkt b/compiler/il-structs.rkt
index c53fef8..edc2a75 100644
--- a/compiler/il-structs.rkt
+++ b/compiler/il-structs.rkt
@@ -48,7 +48,6 @@
                        PrimitivesReference                   
                        ControlFrameTemporary
                        ModulePrefixTarget
-                       ModuleVariable
                        ))
 
 (define-struct: ModuleVariableThing () #:transparent)