diff --git a/graph-lib/graph/__DEBUG_graph6B.rkt b/graph-lib/graph/__DEBUG_graph6B.rkt
deleted file mode 100644
index 16608eec..00000000
--- a/graph-lib/graph/__DEBUG_graph6B.rkt
+++ /dev/null
@@ -1,40 +0,0 @@
-#lang typed/racket
-
-(require "graph-6-rich-returns.lp2.rkt"
-         "../lib/low.rkt"
-         "graph.lp2.rkt"
-         "get.lp2.rkt"
-         "../type-expander/type-expander.lp2.rkt"
-         (for-syntax (submod "../type-expander/type-expander.lp2.rkt" expander))
-         "../type-expander/multi-id.lp2.rkt"
-         "structure.lp2.rkt" ; debug
-         "variant.lp2.rkt" ; debug
-         "fold-queues.lp2.rkt"; debug
-         "rewrite-type.lp2.rkt"; debug
-         "meta-struct.rkt"; debug
-         racket/splicing
-         (for-syntax syntax/parse)
-         (for-syntax syntax/parse/experimental/template))
-
-(define-syntax (d-exp stx)
-  (syntax-case stx ()
-    [(_ T)
-     (displayln (expand-type #'T))
-     #'(begin (: x T)
-              (define x 1))]))
-
-(define-syntax (frozen stx)
-  (syntax-parse stx
-    [(_ def a)
-     #'(begin
-         (splicing-let ()
-           def
-           (d-exp a)))]))
-
-(define-syntax (goo stx)
-  (syntax-case stx ()
-    [(_ T)
-     #`(frozen (define-type-expander (#,(datum->syntax #'T #'te) stx) #'Number)
-               T)]))
-
-(goo te)
\ No newline at end of file
diff --git a/graph-lib/graph/__DEBUG_graph6C.rkt b/graph-lib/graph/__DEBUG_graph6C.rkt
deleted file mode 100644
index e8ad0955..00000000
--- a/graph-lib/graph/__DEBUG_graph6C.rkt
+++ /dev/null
@@ -1,42 +0,0 @@
-#lang typed/racket
-
-(require "graph-6-rich-returns.lp2.rkt"
-         "../lib/low.rkt"
-         "graph.lp2.rkt"
-         "get.lp2.rkt"
-         "../type-expander/type-expander.lp2.rkt"
-         (for-syntax (submod "../type-expander/type-expander.lp2.rkt" expander))
-         "../type-expander/multi-id.lp2.rkt"
-         "structure.lp2.rkt" ; debug
-         "variant.lp2.rkt" ; debug
-         "fold-queues.lp2.rkt"; debug
-         "rewrite-type.lp2.rkt"; debug
-         "meta-struct.rkt"; debug
-         racket/splicing
-         (for-syntax syntax/parse)
-         (for-syntax syntax/parse/experimental/template))
-
-(define-syntax (d-exp stx)
-  (syntax-case stx ()
-    [(_ a) #'(begin (define x a) x)]))
-
-(define-syntax (frozen stx)
-  (syntax-parse stx
-    [(_ def val a)
-     #`(begin (let ((#,(datum->syntax #'a (syntax->datum #'def)) val))
-                (d-exp a)))]))
-
-(define-syntax (goo stx)
-  (syntax-case stx ()
-    [(_ a)
-     #`(frozen #,(datum->syntax #'a #'te) 9
-               a)]))
-
-(goo te)
-
-(define-syntax (lake stx)
-  (syntax-parse stx
-    [(_ val a)
-     #`(let ((#,(datum->syntax stx 'te) val)) a)]))
-
-(lake 3 te)
\ No newline at end of file
diff --git a/graph-lib/graph/__DEBUG_graph6D.rkt b/graph-lib/graph/__DEBUG_graph6D.rkt
deleted file mode 100644
index fe48dbf7..00000000
--- a/graph-lib/graph/__DEBUG_graph6D.rkt
+++ /dev/null
@@ -1,42 +0,0 @@
-#lang typed/racket
-
-(require "graph-6-rich-returns.lp2.rkt"
-         "../lib/low.rkt"
-         "graph.lp2.rkt"
-         "get.lp2.rkt"
-         "../type-expander/type-expander.lp2.rkt"
-         (for-syntax (submod "../type-expander/type-expander.lp2.rkt" expander))
-         "../type-expander/multi-id.lp2.rkt"
-         "structure.lp2.rkt" ; debug
-         "variant.lp2.rkt" ; debug
-         "fold-queues.lp2.rkt"; debug
-         "rewrite-type.lp2.rkt"; debug
-         "meta-struct.rkt"; debug
-         racket/splicing
-         (for-syntax syntax/parse)
-         (for-syntax syntax/parse/experimental/template))
-
-(define-syntax (d-exp stx)
-  (syntax-case stx ()
-    [(_ a) #'(begin (define x a) x)]))
-
-(define-syntax (frozen stx)
-  (syntax-parse stx
-    [(_ def val a)
-     #`(begin (define def val) ;#,(datum->syntax #'a (syntax->datum #'(define def val)))
-              (d-exp a))]))
-
-(define-syntax (goo stx)
-  (syntax-case stx ()
-    [(_ a)
-     #`(frozen #,(datum->syntax #'a 'te) 9
-               a)]))
-
-(goo te)
-
-(define-syntax (lake stx)
-  (syntax-parse stx
-    [(_ val a)
-     #`(let ((#,(datum->syntax stx 'tea) val)) a)]))
-
-(lake 3 tea)
\ No newline at end of file