eff v7.0.0

• separate module
• remove some objects and methods
• avoid org.atnos.eff.all
• separate file
• avoid org.atnos.eff.all
• Update scalafmt-core to 3.7.12
• Update sbt to 1.9.3
• Update sbt-scala-native-crossproject, ... to 1.3.2
• Update cats-effect to 3.5.1
• Update sbt-scalajs, scalajs-compiler, ... to 1.13.2
• Update nscplugin, sbt-scala-native, ... to 0.4.14
• Update scala-library to 2.13.11
• Update scala-library, scala-reflect to 2.12.18
• Update scala3-library, ... to 3.3.0
• remove asInstanceOf
• re-use Pure instance
• add explicit types
• replace to placeholder
• Update Choose.scala
• use string interpolation