Add lambda-terms to FOL

build.sbt

@@ -16,7 +16,7 @@ ThisBuild / semanticdbEnabled := true
 ThisBuild / semanticdbVersion := scalafixSemanticdb.revision
 
 val scala2 = "2.13.8"
-val scala3 = "3.5.1"
+val scala3 = "3.5.2"
 val commonSettings = Seq(
   crossScalaVersions := Seq(scala3),
 
@@ -32,7 +32,8 @@ val commonSettings3 = commonSettings ++ Seq(
   scalacOptions ++= Seq(
     "-language:implicitConversions",
     //"-rewrite", "-source", "3.4-migration",
-    "-Wconf:msg=.*will never be selected.*:silent"
+    "-Wconf:msg=.*will never be selected.*:silent",
+    "-language:experimental.modularity"
 
   ),
   javaOptions += "-Xmx10G",
@@ -75,6 +76,13 @@ lazy val sets = Project(
   .settings(commonSettings3)
   .dependsOn(kernel, withTests(utils))
 
+lazy val sets2 = Project(
+  id = "lisa-sets2",
+  base = file("lisa-sets2")
+)
+  .settings(commonSettings3)
+  .dependsOn(kernel, withTests(utils))
+
 lazy val utils = Project(
   id = "lisa-utils",
   base = file("lisa-utils")