diff --git a/racket/typed/examples/roles/chat-tcp2.rkt b/racket/typed/examples/roles/chat-tcp2.rkt
index 2790024..90fc97d 100644
--- a/racket/typed/examples/roles/chat-tcp2.rkt
+++ b/racket/typed/examples/roles/chat-tcp2.rkt
@@ -1,6 +1,6 @@
 #lang typed/syndicate/roles
 
-(require "../../drivers/tcp.rkt")
+(require typed/syndicate/drivers/tcp)
 
 ;; message
 (define-constructor (speak who what)
diff --git a/racket/typed/compile-spin.rkt b/racket/typed/syndicate/compile-spin.rkt
similarity index 100%
rename from racket/typed/compile-spin.rkt
rename to racket/typed/syndicate/compile-spin.rkt
diff --git a/racket/typed/core-expressions.rkt b/racket/typed/syndicate/core-expressions.rkt
similarity index 100%
rename from racket/typed/core-expressions.rkt
rename to racket/typed/syndicate/core-expressions.rkt
diff --git a/racket/typed/core-types.rkt b/racket/typed/syndicate/core-types.rkt
similarity index 100%
rename from racket/typed/core-types.rkt
rename to racket/typed/syndicate/core-types.rkt
diff --git a/racket/typed/drivers/tcp.rkt b/racket/typed/syndicate/drivers/tcp.rkt
similarity index 100%
rename from racket/typed/drivers/tcp.rkt
rename to racket/typed/syndicate/drivers/tcp.rkt
diff --git a/racket/typed/drivers/timestate.rkt b/racket/typed/syndicate/drivers/timestate.rkt
similarity index 100%
rename from racket/typed/drivers/timestate.rkt
rename to racket/typed/syndicate/drivers/timestate.rkt
diff --git a/racket/typed/either.rkt b/racket/typed/syndicate/either.rkt
similarity index 100%
rename from racket/typed/either.rkt
rename to racket/typed/syndicate/either.rkt
diff --git a/racket/typed/for-loops.rkt b/racket/typed/syndicate/for-loops.rkt
similarity index 100%
rename from racket/typed/for-loops.rkt
rename to racket/typed/syndicate/for-loops.rkt
diff --git a/racket/typed/hash.rkt b/racket/typed/syndicate/hash.rkt
similarity index 100%
rename from racket/typed/hash.rkt
rename to racket/typed/syndicate/hash.rkt
diff --git a/racket/typed/list.rkt b/racket/typed/syndicate/list.rkt
similarity index 100%
rename from racket/typed/list.rkt
rename to racket/typed/syndicate/list.rkt
diff --git a/racket/typed/ltl.rkt b/racket/typed/syndicate/ltl.rkt
similarity index 100%
rename from racket/typed/ltl.rkt
rename to racket/typed/syndicate/ltl.rkt
diff --git a/racket/typed/maybe.rkt b/racket/typed/syndicate/maybe.rkt
similarity index 100%
rename from racket/typed/maybe.rkt
rename to racket/typed/syndicate/maybe.rkt
diff --git a/racket/typed/prim.rkt b/racket/typed/syndicate/prim.rkt
similarity index 100%
rename from racket/typed/prim.rkt
rename to racket/typed/syndicate/prim.rkt
diff --git a/racket/typed/proto.rkt b/racket/typed/syndicate/proto.rkt
similarity index 100%
rename from racket/typed/proto.rkt
rename to racket/typed/syndicate/proto.rkt
diff --git a/racket/typed/roles.rkt b/racket/typed/syndicate/roles.rkt
similarity index 100%
rename from racket/typed/roles.rkt
rename to racket/typed/syndicate/roles.rkt
diff --git a/racket/typed/syndicate/roles/lang/reader.rkt b/racket/typed/syndicate/roles/lang/reader.rkt
index ff64fce..0411511 100644
--- a/racket/typed/syndicate/roles/lang/reader.rkt
+++ b/racket/typed/syndicate/roles/lang/reader.rkt
@@ -1,2 +1,2 @@
 #lang s-exp syntax/module-reader
-typed/roles
\ No newline at end of file
+typed/syndicate/roles
diff --git a/racket/typed/sequence.rkt b/racket/typed/syndicate/sequence.rkt
similarity index 100%
rename from racket/typed/sequence.rkt
rename to racket/typed/syndicate/sequence.rkt
diff --git a/racket/typed/set.rkt b/racket/typed/syndicate/set.rkt
similarity index 100%
rename from racket/typed/set.rkt
rename to racket/typed/syndicate/set.rkt
diff --git a/racket/typed/spin-prelude.pml b/racket/typed/syndicate/spin-prelude.pml
similarity index 100%
rename from racket/typed/spin-prelude.pml
rename to racket/typed/syndicate/spin-prelude.pml
diff --git a/racket/typed/syntax-serializer.rkt b/racket/typed/syndicate/syntax-serializer.rkt
similarity index 100%
rename from racket/typed/syntax-serializer.rkt
rename to racket/typed/syndicate/syntax-serializer.rkt
diff --git a/racket/typed/test-utils.rkt b/racket/typed/syndicate/test-utils.rkt
similarity index 100%
rename from racket/typed/test-utils.rkt
rename to racket/typed/syndicate/test-utils.rkt