diff --git a/src/typesystem/core.ml b/src/stages/typesystem/core.ml
similarity index 100%
rename from src/typesystem/core.ml
rename to src/stages/typesystem/core.ml
diff --git a/src/typesystem/dune b/src/stages/typesystem/dune
similarity index 100%
rename from src/typesystem/dune
rename to src/stages/typesystem/dune
diff --git a/src/typesystem/misc.ml b/src/stages/typesystem/misc.ml
similarity index 100%
rename from src/typesystem/misc.ml
rename to src/stages/typesystem/misc.ml
diff --git a/src/typesystem/shorthands.ml b/src/stages/typesystem/shorthands.ml
similarity index 100%
rename from src/typesystem/shorthands.ml
rename to src/stages/typesystem/shorthands.ml
diff --git a/src/typesystem/typesystem.ml b/src/stages/typesystem/typesystem.ml
similarity index 100%
rename from src/typesystem/typesystem.ml
rename to src/stages/typesystem/typesystem.ml