diff --git a/lib/compiler/syntactic_ast.ml b/lib/compiler/syntactic_ast.ml
index 07162a2..a1ffe32 100644
--- a/lib/compiler/syntactic_ast.ml
+++ b/lib/compiler/syntactic_ast.ml
@@ -7,12 +7,12 @@ open Containers
 type symbol = string
 
 (* These are just used for the GADT *)
-type expression
-type definition
-type clause (* for cond *)
-type binding (* for let *)
-type lambda_list
-type body
+type expression = Phantom_expr
+type definition = Phantom_def
+type clause = Phantom_clause (* for cond *)
+type binding = Phantom_binding(* for let *)
+type lambda_list = Phantom_lambda_list
+type body = Phantom_body
 
 type _ t =
   (* Literals *)
diff --git a/lib/compiler/syntactic_ast.mli b/lib/compiler/syntactic_ast.mli
index f99d452..45c24c3 100644
--- a/lib/compiler/syntactic_ast.mli
+++ b/lib/compiler/syntactic_ast.mli
@@ -1,12 +1,12 @@
 type symbol = string
 
 (* These are just used for the GADT *)
-type expression
-type definition
-type clause (* for cond *)
-type binding (* for let *)
-type lambda_list
-type body
+type expression = Phantom_expr
+type definition = Phantom_def
+type clause = Phantom_clause (* for cond *)
+type binding = Phantom_binding(* for let *)
+type lambda_list = Phantom_lambda_list
+type body = Phantom_body
 
 type _ t =
   (* Literals *)