diff --git a/macrotypes/examples/id-expand-experiment.rkt b/macrotypes/examples/id-expand-experiment.rkt
deleted file mode 100644
index 1274e49..0000000
--- a/macrotypes/examples/id-expand-experiment.rkt
+++ /dev/null
@@ -1,51 +0,0 @@
-#lang racket
-(require (for-syntax syntax/parse))
-#;(define-syntax (test stx)
-  (syntax-parse stx
-    [(_ x)
-     #:with (_ (x2) x3) (local-expand #'(λ (x) (test2 x)) 'expression null)
-     #:with (_ (x4) x5) (local-expand #'(λ (x) x) 'expression null)
-     #:when (printf "test1: ~a\n" (free-identifier=? #'x2 #'x3))
-     #'(void)]))
-#;(define-syntax (test2 stx)
-  (syntax-parse stx
-    [(_ x)
-     #:with xx (local-expand #'x 'expression null)
-     #:when (printf "test2: ~a\n" (bound-identifier=? #'x #'xx))
-     #:with (lam (xxx) xxxx) (local-expand #'(λ (x) xx) 'expression null)
-     #:when (printf "test2 post: ~a\n" (bound-identifier=? #'xxx #'xxxx))
-     (local-expand #'x 'expression null)]))
-#;(test x)
-
-(define x 1)
-(define-for-syntax (f y)
-  (printf "f: ~a\n" (bound-identifier=? y #'x)))
-(define-syntax (test stx)
-  (syntax-parse stx
-    [(_ y)
-     #:when (printf "test: ~a\n" (bound-identifier=? #'x #'y))
-     #:when (printf "test: ~a\n" (bound-identifier=? (syntax-local-introduce #'x) #'y))
-     #:when (printf "test: ~a\n" (bound-identifier=? ((make-syntax-delta-introducer #'y #'x) #'x) #'y))
-     #:when (printf "test: ~a\n" (bound-identifier=? ((make-syntax-delta-introducer #'x #'y) #'x) #'y))
-     #:when (printf "test: ~a\n" (bound-identifier=? (syntax-local-introduce #'y) #'x)) ; negates mark?
-     #:when (printf "test: ~a\n" (bound-identifier=? ((make-syntax-delta-introducer #'y #'x) #'y) #'x))
-     #:when (printf "test: ~a\n" (bound-identifier=? ((make-syntax-delta-introducer #'x #'y) #'y) #'x))
-     #:when (printf "test: ~a\n" (bound-identifier=? (syntax-local-introduce (syntax-local-introduce #'y)) #'x)) ; double negation means no again
-     #:when (f #'x)
-     #:when (local-expand #'(test3 y) 'expression null)
-     #'(test2 y)]))
-(define-syntax (test2 stx)
-  (syntax-parse stx
-    [(_ z)
-     #:when (printf "test2: ~a\n" (bound-identifier=? #'x #'z))
-     #:when (printf "test2: ~a\n" (bound-identifier=? #'x (syntax-local-introduce #'z)))
-     #:when (printf "test2: ~a\n" (bound-identifier=? #'z (syntax-local-introduce #'x)))
-     #'(void)]))
-(define-syntax (test3 stx)
-  (syntax-parse stx
-    [(_ z)
-     #:when (printf "test3: ~a\n" (bound-identifier=? #'x #'z))
-     #:when (printf "test3: ~a\n" (bound-identifier=? #'x (syntax-local-introduce #'z)))
-     #:when (printf "test3: ~a\n" (bound-identifier=? #'z (syntax-local-introduce #'x)))
-     #'(void)]))
-(test x)
\ No newline at end of file
diff --git a/macrotypes/examples/lam-testing.rkt b/macrotypes/examples/lam-testing.rkt
deleted file mode 100644
index 4606f57..0000000
--- a/macrotypes/examples/lam-testing.rkt
+++ /dev/null
@@ -1,22 +0,0 @@
-#lang racket
-(require (for-syntax syntax/parse))
-(require (for-meta 2 racket/base))
-(provide #%module-begin #%top-interaction #%app #%datum)
-(provide (rename-out [lam/tc λ]))
-
-(define-syntax (lam/tc stx)
-  (syntax-parse stx
-    [(_ (x y) e)
-     #:with
-     (lam xs (lr vs1 (lr2 vs2 e+)))
-     (local-expand
-      #'(λ (x y)
-          (let-syntax
-;              ([x (λ (sx) (syntax-parse sx [z:id (syntax-property #'y ': 100)]))])
-              ([x (make-rename-transformer (syntax-property #'x ': 100))])
-            e))
-      'expression
-      null)
-     #:when (printf "~a\n" #'e+)
-     #:when (printf "~a\n" (syntax-property #'e+ ':))
-     #'(λ xs e+)]))
\ No newline at end of file
diff --git a/macrotypes/examples/tests/lam-testing-tests.rkt b/macrotypes/examples/tests/lam-testing-tests.rkt
deleted file mode 100644
index 4775603..0000000
--- a/macrotypes/examples/tests/lam-testing-tests.rkt
+++ /dev/null
@@ -1,3 +0,0 @@
-#lang s-exp "../lam-testing.rkt"
-
-((λ (x y) x) 1 2)
\ No newline at end of file