diff --git a/macrotypes/examples/tests/infer-tests.rkt b/macrotypes/examples/tests/infer-tests.rkt
index f48775d..5a27a6f 100644
--- a/macrotypes/examples/tests/infer-tests.rkt
+++ b/macrotypes/examples/tests/infer-tests.rkt
@@ -1,5 +1,5 @@
 #lang s-exp "../infer.rkt"
-(require typed-lang-builder/examples/tests/rackunit-typechecking)
+(require turnstile/examples/tests/rackunit-typechecking)
 
 (typecheck-fail (λ (x) x) #:with-msg "could not infer type of x; add annotation\\(s\\)")
 
diff --git a/macrotypes/examples/tests/stlc+occurrence-tests.rkt b/macrotypes/examples/tests/stlc+occurrence-tests.rkt
index b4dac45..5797b57 100644
--- a/macrotypes/examples/tests/stlc+occurrence-tests.rkt
+++ b/macrotypes/examples/tests/stlc+occurrence-tests.rkt
@@ -1,5 +1,5 @@
 #lang s-exp "../stlc+occurrence.rkt"
-(require typed-lang-builder/examples/tests/rackunit-typechecking)
+(require turnstile/examples/tests/rackunit-typechecking)
 
 ;; -----------------------------------------------------------------------------
 ;; basic types & syntax
diff --git a/macrotypes/examples/tests/stlc+overloading-tests.rkt b/macrotypes/examples/tests/stlc+overloading-tests.rkt
index 2895086..f6b54dd 100644
--- a/macrotypes/examples/tests/stlc+overloading-tests.rkt
+++ b/macrotypes/examples/tests/stlc+overloading-tests.rkt
@@ -1,5 +1,5 @@
 #lang s-exp "../stlc+overloading.rkt"
-(require typed-lang-builder/examples/tests/rackunit-typechecking)
+(require turnstile/examples/tests/rackunit-typechecking)
 
 ;; -----------------------------------------------------------------------------
 ;; --- syntax for ψ types
diff --git a/typed-lang-builder/examples/exist.rkt b/turnstile/examples/exist.rkt
similarity index 99%
rename from typed-lang-builder/examples/exist.rkt
rename to turnstile/examples/exist.rkt
index df0bd0d..393ce85 100644
--- a/typed-lang-builder/examples/exist.rkt
+++ b/turnstile/examples/exist.rkt
@@ -1,4 +1,4 @@
-#lang typed-lang-builder
+#lang turnstile
 (extends "stlc+reco+var.rkt")
 (reuse #:from "stlc+rec-iso.rkt") ; want type=?, but only need to load current-type=?
 
diff --git a/typed-lang-builder/examples/ext-stlc.rkt b/turnstile/examples/ext-stlc.rkt
similarity index 99%
rename from typed-lang-builder/examples/ext-stlc.rkt
rename to turnstile/examples/ext-stlc.rkt
index 3871aca..b527e6d 100644
--- a/typed-lang-builder/examples/ext-stlc.rkt
+++ b/turnstile/examples/ext-stlc.rkt
@@ -1,4 +1,4 @@
-#lang typed-lang-builder
+#lang turnstile
 (extends "stlc+lit.rkt" #:except #%datum)
 (provide ⊔ (for-syntax current-join))
 
diff --git a/typed-lang-builder/examples/fomega.rkt b/turnstile/examples/fomega.rkt
similarity index 99%
rename from typed-lang-builder/examples/fomega.rkt
rename to turnstile/examples/fomega.rkt
index 681a0ac..ac045ba 100644
--- a/typed-lang-builder/examples/fomega.rkt
+++ b/turnstile/examples/fomega.rkt
@@ -1,4 +1,4 @@
-#lang typed-lang-builder
+#lang turnstile
 (extends "sysf.rkt" #:except #%datum ∀ Λ inst)
 (reuse String #%datum #:from "stlc+reco+var.rkt")
 
diff --git a/typed-lang-builder/examples/fomega2.rkt b/turnstile/examples/fomega2.rkt
similarity index 99%
rename from typed-lang-builder/examples/fomega2.rkt
rename to turnstile/examples/fomega2.rkt
index 5714ac7..b35593b 100644
--- a/typed-lang-builder/examples/fomega2.rkt
+++ b/turnstile/examples/fomega2.rkt
@@ -1,4 +1,4 @@
-#lang typed-lang-builder
+#lang turnstile
 (extends "sysf.rkt" #:except #%datum ∀ Λ inst);#:rename [~∀ ~sysf:∀])
 (reuse String #%datum #:from "stlc+reco+var.rkt")
 
diff --git a/typed-lang-builder/examples/fomega3.rkt b/turnstile/examples/fomega3.rkt
similarity index 98%
rename from typed-lang-builder/examples/fomega3.rkt
rename to turnstile/examples/fomega3.rkt
index fac1677..8a558b5 100644
--- a/typed-lang-builder/examples/fomega3.rkt
+++ b/turnstile/examples/fomega3.rkt
@@ -1,4 +1,4 @@
-#lang typed-lang-builder
+#lang turnstile
 (extends "sysf.rkt" #:except #%datum ∀ Λ inst)
 (reuse String #%datum #:from "stlc+reco+var.rkt")
 (require (only-in "fomega.rkt" current-kind? ∀★? ★? kind?))
diff --git a/typed-lang-builder/examples/fsub.rkt b/turnstile/examples/fsub.rkt
similarity index 99%
rename from typed-lang-builder/examples/fsub.rkt
rename to turnstile/examples/fsub.rkt
index 3c6450e..74e3f26 100644
--- a/typed-lang-builder/examples/fsub.rkt
+++ b/turnstile/examples/fsub.rkt
@@ -1,4 +1,4 @@
-#lang typed-lang-builder
+#lang turnstile
 (extends "stlc+reco+sub.rkt" #:except +)
 (require (rename-in (only-in "sysf.rkt" ∀? ∀ ~∀) [~∀ ~sysf:∀] [∀ sysf:∀]))
  
diff --git a/typed-lang-builder/examples/mlish-do.rkt b/turnstile/examples/mlish-do.rkt
similarity index 100%
rename from typed-lang-builder/examples/mlish-do.rkt
rename to turnstile/examples/mlish-do.rkt
diff --git a/typed-lang-builder/examples/mlish.rkt b/turnstile/examples/mlish.rkt
similarity index 99%
rename from typed-lang-builder/examples/mlish.rkt
rename to turnstile/examples/mlish.rkt
index e2b7b08..71ec1cd 100644
--- a/typed-lang-builder/examples/mlish.rkt
+++ b/turnstile/examples/mlish.rkt
@@ -1,4 +1,4 @@
-#lang typed-lang-builder
+#lang turnstile
 (require racket/fixnum racket/flonum
          (for-syntax macrotypes/type-constraints macrotypes/variance-constraints))
 
diff --git a/typed-lang-builder/examples/stlc+box.rkt b/turnstile/examples/stlc+box.rkt
similarity index 96%
rename from typed-lang-builder/examples/stlc+box.rkt
rename to turnstile/examples/stlc+box.rkt
index 7240f45..d6427c2 100644
--- a/typed-lang-builder/examples/stlc+box.rkt
+++ b/turnstile/examples/stlc+box.rkt
@@ -1,4 +1,4 @@
-#lang typed-lang-builder
+#lang turnstile
 (extends "stlc+cons.rkt")
 
 ;; Simply-Typed Lambda Calculus, plus mutable references
diff --git a/typed-lang-builder/examples/stlc+cons.rkt b/turnstile/examples/stlc+cons.rkt
similarity index 98%
rename from typed-lang-builder/examples/stlc+cons.rkt
rename to turnstile/examples/stlc+cons.rkt
index a00e1c9..f2d333e 100644
--- a/typed-lang-builder/examples/stlc+cons.rkt
+++ b/turnstile/examples/stlc+cons.rkt
@@ -1,4 +1,4 @@
-#lang typed-lang-builder
+#lang turnstile
 (extends "stlc+reco+var.rkt")
 
 ;; Simply-Typed Lambda Calculus, plus cons
diff --git a/typed-lang-builder/examples/stlc+effect.rkt b/turnstile/examples/stlc+effect.rkt
similarity index 99%
rename from typed-lang-builder/examples/stlc+effect.rkt
rename to turnstile/examples/stlc+effect.rkt
index 68cd355..3d3a7fb 100644
--- a/typed-lang-builder/examples/stlc+effect.rkt
+++ b/turnstile/examples/stlc+effect.rkt
@@ -1,4 +1,4 @@
-#lang typed-lang-builder
+#lang turnstile
 (extends "stlc+box.rkt" #:except ref deref := #%app λ)
 
 ;; Simply-Typed Lambda Calculus, plus mutable references
diff --git a/typed-lang-builder/examples/stlc+lit.rkt b/turnstile/examples/stlc+lit.rkt
similarity index 97%
rename from typed-lang-builder/examples/stlc+lit.rkt
rename to turnstile/examples/stlc+lit.rkt
index 726a3fb..8b0f6fa 100644
--- a/typed-lang-builder/examples/stlc+lit.rkt
+++ b/turnstile/examples/stlc+lit.rkt
@@ -1,4 +1,4 @@
-#lang typed-lang-builder
+#lang turnstile
 (extends "stlc.rkt")
 (provide define-primop)
 
diff --git a/typed-lang-builder/examples/stlc+rec-iso.rkt b/turnstile/examples/stlc+rec-iso.rkt
similarity index 98%
rename from typed-lang-builder/examples/stlc+rec-iso.rkt
rename to turnstile/examples/stlc+rec-iso.rkt
index b4b87f6..2489692 100644
--- a/typed-lang-builder/examples/stlc+rec-iso.rkt
+++ b/turnstile/examples/stlc+rec-iso.rkt
@@ -1,4 +1,4 @@
-#lang typed-lang-builder
+#lang turnstile
 (extends "stlc+tup.rkt")
 (reuse ∨ var case define-type-alias define #:from "stlc+reco+var.rkt")
 
diff --git a/typed-lang-builder/examples/stlc+reco+sub.rkt b/turnstile/examples/stlc+reco+sub.rkt
similarity index 98%
rename from typed-lang-builder/examples/stlc+reco+sub.rkt
rename to turnstile/examples/stlc+reco+sub.rkt
index 24aca36..8342ddd 100644
--- a/typed-lang-builder/examples/stlc+reco+sub.rkt
+++ b/turnstile/examples/stlc+reco+sub.rkt
@@ -1,4 +1,4 @@
-#lang typed-lang-builder
+#lang turnstile
 (extends "stlc+sub.rkt" #:except #%app #%datum)
 (extends "stlc+reco+var.rkt" #:except #%datum +)
 ;;use type=? and eval-type from stlc+reco+var.rkt, not stlc+sub.rkt
diff --git a/typed-lang-builder/examples/stlc+reco+var.rkt b/turnstile/examples/stlc+reco+var.rkt
similarity index 99%
rename from typed-lang-builder/examples/stlc+reco+var.rkt
rename to turnstile/examples/stlc+reco+var.rkt
index 3668de4..6d5746c 100644
--- a/typed-lang-builder/examples/stlc+reco+var.rkt
+++ b/turnstile/examples/stlc+reco+var.rkt
@@ -1,4 +1,4 @@
-#lang typed-lang-builder
+#lang turnstile
 (extends "stlc+tup.rkt" #:except × ×? tup proj
                         #:rename [~× ~stlc:×])
 (provide × ∨ (for-syntax ~× ~×* ~∨ ~∨*))
diff --git a/typed-lang-builder/examples/stlc+sub.rkt b/turnstile/examples/stlc+sub.rkt
similarity index 99%
rename from typed-lang-builder/examples/stlc+sub.rkt
rename to turnstile/examples/stlc+sub.rkt
index 08180f0..f634075 100644
--- a/typed-lang-builder/examples/stlc+sub.rkt
+++ b/turnstile/examples/stlc+sub.rkt
@@ -1,4 +1,4 @@
-#lang typed-lang-builder
+#lang turnstile
 (extends "stlc+lit.rkt" #:except #%datum +)
 (reuse Bool String add1 #:from "ext-stlc.rkt")
 (require (prefix-in ext: (only-in "ext-stlc.rkt" #%datum))
diff --git a/typed-lang-builder/examples/stlc+tup.rkt b/turnstile/examples/stlc+tup.rkt
similarity index 97%
rename from typed-lang-builder/examples/stlc+tup.rkt
rename to turnstile/examples/stlc+tup.rkt
index 91fbfad..4589865 100644
--- a/typed-lang-builder/examples/stlc+tup.rkt
+++ b/turnstile/examples/stlc+tup.rkt
@@ -1,4 +1,4 @@
-#lang typed-lang-builder
+#lang turnstile
 (extends "ext-stlc.rkt")
 
 (require (for-syntax racket/list))
diff --git a/typed-lang-builder/examples/stlc.rkt b/turnstile/examples/stlc.rkt
similarity index 98%
rename from typed-lang-builder/examples/stlc.rkt
rename to turnstile/examples/stlc.rkt
index 4c44b01..22f8a8f 100644
--- a/typed-lang-builder/examples/stlc.rkt
+++ b/turnstile/examples/stlc.rkt
@@ -1,4 +1,4 @@
-#lang typed-lang-builder
+#lang turnstile
 (provide only-in (for-syntax current-type=? types=?))
 
 (begin-for-syntax
diff --git a/typed-lang-builder/examples/sysf.rkt b/turnstile/examples/sysf.rkt
similarity index 96%
rename from typed-lang-builder/examples/sysf.rkt
rename to turnstile/examples/sysf.rkt
index c209d2c..762e8bf 100644
--- a/typed-lang-builder/examples/sysf.rkt
+++ b/turnstile/examples/sysf.rkt
@@ -1,4 +1,4 @@
-#lang typed-lang-builder
+#lang turnstile
 (extends "stlc+lit.rkt")
 (reuse #:from "stlc+rec-iso.rkt") ; want this type=?
 
diff --git a/typed-lang-builder/examples/tests/exist-tests.rkt b/turnstile/examples/tests/exist-tests.rkt
similarity index 100%
rename from typed-lang-builder/examples/tests/exist-tests.rkt
rename to turnstile/examples/tests/exist-tests.rkt
diff --git a/typed-lang-builder/examples/tests/ext-stlc-tests.rkt b/turnstile/examples/tests/ext-stlc-tests.rkt
similarity index 100%
rename from typed-lang-builder/examples/tests/ext-stlc-tests.rkt
rename to turnstile/examples/tests/ext-stlc-tests.rkt
diff --git a/typed-lang-builder/examples/tests/fomega-tests.rkt b/turnstile/examples/tests/fomega-tests.rkt
similarity index 100%
rename from typed-lang-builder/examples/tests/fomega-tests.rkt
rename to turnstile/examples/tests/fomega-tests.rkt
diff --git a/typed-lang-builder/examples/tests/fomega2-tests.rkt b/turnstile/examples/tests/fomega2-tests.rkt
similarity index 100%
rename from typed-lang-builder/examples/tests/fomega2-tests.rkt
rename to turnstile/examples/tests/fomega2-tests.rkt
diff --git a/typed-lang-builder/examples/tests/fomega3-tests.rkt b/turnstile/examples/tests/fomega3-tests.rkt
similarity index 100%
rename from typed-lang-builder/examples/tests/fomega3-tests.rkt
rename to turnstile/examples/tests/fomega3-tests.rkt
diff --git a/typed-lang-builder/examples/tests/fsub-tests.rkt b/turnstile/examples/tests/fsub-tests.rkt
similarity index 100%
rename from typed-lang-builder/examples/tests/fsub-tests.rkt
rename to turnstile/examples/tests/fsub-tests.rkt
diff --git a/typed-lang-builder/examples/tests/mlish-tests.rkt b/turnstile/examples/tests/mlish-tests.rkt
similarity index 100%
rename from typed-lang-builder/examples/tests/mlish-tests.rkt
rename to turnstile/examples/tests/mlish-tests.rkt
diff --git a/typed-lang-builder/examples/tests/mlish/ack.mlish b/turnstile/examples/tests/mlish/ack.mlish
similarity index 100%
rename from typed-lang-builder/examples/tests/mlish/ack.mlish
rename to turnstile/examples/tests/mlish/ack.mlish
diff --git a/typed-lang-builder/examples/tests/mlish/alex.mlish b/turnstile/examples/tests/mlish/alex.mlish
similarity index 100%
rename from typed-lang-builder/examples/tests/mlish/alex.mlish
rename to turnstile/examples/tests/mlish/alex.mlish
diff --git a/typed-lang-builder/examples/tests/mlish/ary.mlish b/turnstile/examples/tests/mlish/ary.mlish
similarity index 100%
rename from typed-lang-builder/examples/tests/mlish/ary.mlish
rename to turnstile/examples/tests/mlish/ary.mlish
diff --git a/typed-lang-builder/examples/tests/mlish/bg/README.md b/turnstile/examples/tests/mlish/bg/README.md
similarity index 100%
rename from typed-lang-builder/examples/tests/mlish/bg/README.md
rename to turnstile/examples/tests/mlish/bg/README.md
diff --git a/typed-lang-builder/examples/tests/mlish/bg/basics-general.mlish b/turnstile/examples/tests/mlish/bg/basics-general.mlish
similarity index 100%
rename from typed-lang-builder/examples/tests/mlish/bg/basics-general.mlish
rename to turnstile/examples/tests/mlish/bg/basics-general.mlish
diff --git a/typed-lang-builder/examples/tests/mlish/bg/basics.mlish b/turnstile/examples/tests/mlish/bg/basics.mlish
similarity index 100%
rename from typed-lang-builder/examples/tests/mlish/bg/basics.mlish
rename to turnstile/examples/tests/mlish/bg/basics.mlish
diff --git a/typed-lang-builder/examples/tests/mlish/bg/basics2.mlish b/turnstile/examples/tests/mlish/bg/basics2.mlish
similarity index 100%
rename from typed-lang-builder/examples/tests/mlish/bg/basics2.mlish
rename to turnstile/examples/tests/mlish/bg/basics2.mlish
diff --git a/typed-lang-builder/examples/tests/mlish/bg/huffman.mlish b/turnstile/examples/tests/mlish/bg/huffman.mlish
similarity index 100%
rename from typed-lang-builder/examples/tests/mlish/bg/huffman.mlish
rename to turnstile/examples/tests/mlish/bg/huffman.mlish
diff --git a/typed-lang-builder/examples/tests/mlish/bg/lambda.mlish b/turnstile/examples/tests/mlish/bg/lambda.mlish
similarity index 100%
rename from typed-lang-builder/examples/tests/mlish/bg/lambda.mlish
rename to turnstile/examples/tests/mlish/bg/lambda.mlish
diff --git a/typed-lang-builder/examples/tests/mlish/bg/monad.mlish b/turnstile/examples/tests/mlish/bg/monad.mlish
similarity index 100%
rename from typed-lang-builder/examples/tests/mlish/bg/monad.mlish
rename to turnstile/examples/tests/mlish/bg/monad.mlish
diff --git a/typed-lang-builder/examples/tests/mlish/bg/okasaki.mlish b/turnstile/examples/tests/mlish/bg/okasaki.mlish
similarity index 100%
rename from typed-lang-builder/examples/tests/mlish/bg/okasaki.mlish
rename to turnstile/examples/tests/mlish/bg/okasaki.mlish
diff --git a/typed-lang-builder/examples/tests/mlish/chameneos.mlish b/turnstile/examples/tests/mlish/chameneos.mlish
similarity index 100%
rename from typed-lang-builder/examples/tests/mlish/chameneos.mlish
rename to turnstile/examples/tests/mlish/chameneos.mlish
diff --git a/typed-lang-builder/examples/tests/mlish/fannkuch.mlish b/turnstile/examples/tests/mlish/fannkuch.mlish
similarity index 100%
rename from typed-lang-builder/examples/tests/mlish/fannkuch.mlish
rename to turnstile/examples/tests/mlish/fannkuch.mlish
diff --git a/typed-lang-builder/examples/tests/mlish/fasta.mlish b/turnstile/examples/tests/mlish/fasta.mlish
similarity index 100%
rename from typed-lang-builder/examples/tests/mlish/fasta.mlish
rename to turnstile/examples/tests/mlish/fasta.mlish
diff --git a/typed-lang-builder/examples/tests/mlish/fibo.mlish b/turnstile/examples/tests/mlish/fibo.mlish
similarity index 100%
rename from typed-lang-builder/examples/tests/mlish/fibo.mlish
rename to turnstile/examples/tests/mlish/fibo.mlish
diff --git a/typed-lang-builder/examples/tests/mlish/find.mlish b/turnstile/examples/tests/mlish/find.mlish
similarity index 100%
rename from typed-lang-builder/examples/tests/mlish/find.mlish
rename to turnstile/examples/tests/mlish/find.mlish
diff --git a/typed-lang-builder/examples/tests/mlish/hash.mlish b/turnstile/examples/tests/mlish/hash.mlish
similarity index 100%
rename from typed-lang-builder/examples/tests/mlish/hash.mlish
rename to turnstile/examples/tests/mlish/hash.mlish
diff --git a/typed-lang-builder/examples/tests/mlish/infer-variances.mlish b/turnstile/examples/tests/mlish/infer-variances.mlish
similarity index 100%
rename from typed-lang-builder/examples/tests/mlish/infer-variances.mlish
rename to turnstile/examples/tests/mlish/infer-variances.mlish
diff --git a/typed-lang-builder/examples/tests/mlish/inst.mlish b/turnstile/examples/tests/mlish/inst.mlish
similarity index 100%
rename from typed-lang-builder/examples/tests/mlish/inst.mlish
rename to turnstile/examples/tests/mlish/inst.mlish
diff --git a/typed-lang-builder/examples/tests/mlish/knuc.mlish b/turnstile/examples/tests/mlish/knuc.mlish
similarity index 100%
rename from typed-lang-builder/examples/tests/mlish/knuc.mlish
rename to turnstile/examples/tests/mlish/knuc.mlish
diff --git a/typed-lang-builder/examples/tests/mlish/listpats.mlish b/turnstile/examples/tests/mlish/listpats.mlish
similarity index 100%
rename from typed-lang-builder/examples/tests/mlish/listpats.mlish
rename to turnstile/examples/tests/mlish/listpats.mlish
diff --git a/typed-lang-builder/examples/tests/mlish/loop.mlish b/turnstile/examples/tests/mlish/loop.mlish
similarity index 100%
rename from typed-lang-builder/examples/tests/mlish/loop.mlish
rename to turnstile/examples/tests/mlish/loop.mlish
diff --git a/typed-lang-builder/examples/tests/mlish/match2.mlish b/turnstile/examples/tests/mlish/match2.mlish
similarity index 100%
rename from typed-lang-builder/examples/tests/mlish/match2.mlish
rename to turnstile/examples/tests/mlish/match2.mlish
diff --git a/typed-lang-builder/examples/tests/mlish/matrix.mlish b/turnstile/examples/tests/mlish/matrix.mlish
similarity index 100%
rename from typed-lang-builder/examples/tests/mlish/matrix.mlish
rename to turnstile/examples/tests/mlish/matrix.mlish
diff --git a/typed-lang-builder/examples/tests/mlish/nbody.mlish b/turnstile/examples/tests/mlish/nbody.mlish
similarity index 100%
rename from typed-lang-builder/examples/tests/mlish/nbody.mlish
rename to turnstile/examples/tests/mlish/nbody.mlish
diff --git a/typed-lang-builder/examples/tests/mlish/polyrecur.mlish b/turnstile/examples/tests/mlish/polyrecur.mlish
similarity index 100%
rename from typed-lang-builder/examples/tests/mlish/polyrecur.mlish
rename to turnstile/examples/tests/mlish/polyrecur.mlish
diff --git a/typed-lang-builder/examples/tests/mlish/queens.mlish b/turnstile/examples/tests/mlish/queens.mlish
similarity index 100%
rename from typed-lang-builder/examples/tests/mlish/queens.mlish
rename to turnstile/examples/tests/mlish/queens.mlish
diff --git a/typed-lang-builder/examples/tests/mlish/result.mlish b/turnstile/examples/tests/mlish/result.mlish
similarity index 100%
rename from typed-lang-builder/examples/tests/mlish/result.mlish
rename to turnstile/examples/tests/mlish/result.mlish
diff --git a/typed-lang-builder/examples/tests/mlish/sweet-map.rkt b/turnstile/examples/tests/mlish/sweet-map.rkt
similarity index 100%
rename from typed-lang-builder/examples/tests/mlish/sweet-map.rkt
rename to turnstile/examples/tests/mlish/sweet-map.rkt
diff --git a/typed-lang-builder/examples/tests/mlish/term.mlish b/turnstile/examples/tests/mlish/term.mlish
similarity index 100%
rename from typed-lang-builder/examples/tests/mlish/term.mlish
rename to turnstile/examples/tests/mlish/term.mlish
diff --git a/typed-lang-builder/examples/tests/mlish/trees-tests.mlish b/turnstile/examples/tests/mlish/trees-tests.mlish
similarity index 100%
rename from typed-lang-builder/examples/tests/mlish/trees-tests.mlish
rename to turnstile/examples/tests/mlish/trees-tests.mlish
diff --git a/typed-lang-builder/examples/tests/mlish/trees.mlish b/turnstile/examples/tests/mlish/trees.mlish
similarity index 100%
rename from typed-lang-builder/examples/tests/mlish/trees.mlish
rename to turnstile/examples/tests/mlish/trees.mlish
diff --git a/typed-lang-builder/examples/tests/mlish/value-restriction-example.mlish b/turnstile/examples/tests/mlish/value-restriction-example.mlish
similarity index 100%
rename from typed-lang-builder/examples/tests/mlish/value-restriction-example.mlish
rename to turnstile/examples/tests/mlish/value-restriction-example.mlish
diff --git a/typed-lang-builder/examples/tests/rackunit-typechecking.rkt b/turnstile/examples/tests/rackunit-typechecking.rkt
similarity index 100%
rename from typed-lang-builder/examples/tests/rackunit-typechecking.rkt
rename to turnstile/examples/tests/rackunit-typechecking.rkt
diff --git a/typed-lang-builder/examples/tests/run-all-mlish-tests.rkt b/turnstile/examples/tests/run-all-mlish-tests.rkt
similarity index 100%
rename from typed-lang-builder/examples/tests/run-all-mlish-tests.rkt
rename to turnstile/examples/tests/run-all-mlish-tests.rkt
diff --git a/typed-lang-builder/examples/tests/run-all-tests.rkt b/turnstile/examples/tests/run-all-tests.rkt
similarity index 100%
rename from typed-lang-builder/examples/tests/run-all-tests.rkt
rename to turnstile/examples/tests/run-all-tests.rkt
diff --git a/typed-lang-builder/examples/tests/run-mlish-tests1.rkt b/turnstile/examples/tests/run-mlish-tests1.rkt
similarity index 100%
rename from typed-lang-builder/examples/tests/run-mlish-tests1.rkt
rename to turnstile/examples/tests/run-mlish-tests1.rkt
diff --git a/typed-lang-builder/examples/tests/run-mlish-tests2.rkt b/turnstile/examples/tests/run-mlish-tests2.rkt
similarity index 100%
rename from typed-lang-builder/examples/tests/run-mlish-tests2.rkt
rename to turnstile/examples/tests/run-mlish-tests2.rkt
diff --git a/typed-lang-builder/examples/tests/run-mlish-tests3.rkt b/turnstile/examples/tests/run-mlish-tests3.rkt
similarity index 100%
rename from typed-lang-builder/examples/tests/run-mlish-tests3.rkt
rename to turnstile/examples/tests/run-mlish-tests3.rkt
diff --git a/typed-lang-builder/examples/tests/run-mlish-tests4.rkt b/turnstile/examples/tests/run-mlish-tests4.rkt
similarity index 100%
rename from typed-lang-builder/examples/tests/run-mlish-tests4.rkt
rename to turnstile/examples/tests/run-mlish-tests4.rkt
diff --git a/typed-lang-builder/examples/tests/stlc+box-tests.rkt b/turnstile/examples/tests/stlc+box-tests.rkt
similarity index 100%
rename from typed-lang-builder/examples/tests/stlc+box-tests.rkt
rename to turnstile/examples/tests/stlc+box-tests.rkt
diff --git a/typed-lang-builder/examples/tests/stlc+cons-tests.rkt b/turnstile/examples/tests/stlc+cons-tests.rkt
similarity index 100%
rename from typed-lang-builder/examples/tests/stlc+cons-tests.rkt
rename to turnstile/examples/tests/stlc+cons-tests.rkt
diff --git a/typed-lang-builder/examples/tests/stlc+effect-tests.rkt b/turnstile/examples/tests/stlc+effect-tests.rkt
similarity index 100%
rename from typed-lang-builder/examples/tests/stlc+effect-tests.rkt
rename to turnstile/examples/tests/stlc+effect-tests.rkt
diff --git a/typed-lang-builder/examples/tests/stlc+lit-tests.rkt b/turnstile/examples/tests/stlc+lit-tests.rkt
similarity index 100%
rename from typed-lang-builder/examples/tests/stlc+lit-tests.rkt
rename to turnstile/examples/tests/stlc+lit-tests.rkt
diff --git a/typed-lang-builder/examples/tests/stlc+rec-iso-tests.rkt b/turnstile/examples/tests/stlc+rec-iso-tests.rkt
similarity index 100%
rename from typed-lang-builder/examples/tests/stlc+rec-iso-tests.rkt
rename to turnstile/examples/tests/stlc+rec-iso-tests.rkt
diff --git a/typed-lang-builder/examples/tests/stlc+reco+sub-tests.rkt b/turnstile/examples/tests/stlc+reco+sub-tests.rkt
similarity index 100%
rename from typed-lang-builder/examples/tests/stlc+reco+sub-tests.rkt
rename to turnstile/examples/tests/stlc+reco+sub-tests.rkt
diff --git a/typed-lang-builder/examples/tests/stlc+reco+var-tests.rkt b/turnstile/examples/tests/stlc+reco+var-tests.rkt
similarity index 100%
rename from typed-lang-builder/examples/tests/stlc+reco+var-tests.rkt
rename to turnstile/examples/tests/stlc+reco+var-tests.rkt
diff --git a/typed-lang-builder/examples/tests/stlc+sub-tests.rkt b/turnstile/examples/tests/stlc+sub-tests.rkt
similarity index 100%
rename from typed-lang-builder/examples/tests/stlc+sub-tests.rkt
rename to turnstile/examples/tests/stlc+sub-tests.rkt
diff --git a/typed-lang-builder/examples/tests/stlc+tup-tests.rkt b/turnstile/examples/tests/stlc+tup-tests.rkt
similarity index 100%
rename from typed-lang-builder/examples/tests/stlc+tup-tests.rkt
rename to turnstile/examples/tests/stlc+tup-tests.rkt
diff --git a/typed-lang-builder/examples/tests/stlc-tests.rkt b/turnstile/examples/tests/stlc-tests.rkt
similarity index 100%
rename from typed-lang-builder/examples/tests/stlc-tests.rkt
rename to turnstile/examples/tests/stlc-tests.rkt
diff --git a/typed-lang-builder/examples/tests/sysf-tests.rkt b/turnstile/examples/tests/sysf-tests.rkt
similarity index 100%
rename from typed-lang-builder/examples/tests/sysf-tests.rkt
rename to turnstile/examples/tests/sysf-tests.rkt
diff --git a/turnstile/lang/reader.rkt b/turnstile/lang/reader.rkt
new file mode 100644
index 0000000..a3c5d96
--- /dev/null
+++ b/turnstile/lang/reader.rkt
@@ -0,0 +1,2 @@
+#lang s-exp syntax/module-reader
+turnstile/turnstile
diff --git a/typed-lang-builder/typed-lang-builder.rkt b/turnstile/turnstile.rkt
similarity index 100%
rename from typed-lang-builder/typed-lang-builder.rkt
rename to turnstile/turnstile.rkt
diff --git a/typed-lang-builder/lang/reader.rkt b/typed-lang-builder/lang/reader.rkt
deleted file mode 100644
index 0cf8380..0000000
--- a/typed-lang-builder/lang/reader.rkt
+++ /dev/null
@@ -1,2 +0,0 @@
-#lang s-exp syntax/module-reader
-typed-lang-builder/typed-lang-builder