diff --git a/lens/core/base.rkt b/lens/base/base.rkt
similarity index 100%
rename from lens/core/base.rkt
rename to lens/base/base.rkt
diff --git a/lens/core/base.scrbl b/lens/base/base.scrbl
similarity index 100%
rename from lens/core/base.scrbl
rename to lens/base/base.scrbl
diff --git a/lens/core/compose.rkt b/lens/base/compose.rkt
similarity index 100%
rename from lens/core/compose.rkt
rename to lens/base/compose.rkt
diff --git a/lens/core/compose.scrbl b/lens/base/compose.scrbl
similarity index 100%
rename from lens/core/compose.scrbl
rename to lens/base/compose.scrbl
diff --git a/lens/core/identity.rkt b/lens/base/identity.rkt
similarity index 100%
rename from lens/core/identity.rkt
rename to lens/base/identity.rkt
diff --git a/lens/core/laws.scrbl b/lens/base/laws.scrbl
similarity index 100%
rename from lens/core/laws.scrbl
rename to lens/base/laws.scrbl
diff --git a/lens/core/main.rkt b/lens/base/main.rkt
similarity index 100%
rename from lens/core/main.rkt
rename to lens/base/main.rkt
diff --git a/lens/core/main.scrbl b/lens/base/main.scrbl
similarity index 100%
rename from lens/core/main.scrbl
rename to lens/base/main.scrbl
diff --git a/lens/core/transform.rkt b/lens/base/transform.rkt
similarity index 100%
rename from lens/core/transform.rkt
rename to lens/base/transform.rkt
diff --git a/lens/core/transform.scrbl b/lens/base/transform.scrbl
similarity index 100%
rename from lens/core/transform.scrbl
rename to lens/base/transform.scrbl
diff --git a/lens/core/view-set.rkt b/lens/base/view-set.rkt
similarity index 100%
rename from lens/core/view-set.rkt
rename to lens/base/view-set.rkt
diff --git a/lens/core/view-set.scrbl b/lens/base/view-set.scrbl
similarity index 100%
rename from lens/core/view-set.scrbl
rename to lens/base/view-set.scrbl