another syntax adjustment

core/src/main/scala/com/virtuslab/lynx/syntax.scala

@@ -1,4 +1,4 @@
 package com.virtuslab.lynx
 
-type require[A, M[_]] = CanReflect[M] ?=> A
+type requires[A, M[_]] = CanReflect[M] ?=> A
 

core/src/test/scala/com/virtuslab/lynx/data/StateTest.scala

@@ -28,25 +28,25 @@ class StateTest extends munit.FunSuite {
   test("userService") {
     case class User(name: String)
     trait UserService[Cap[_]] {
-      def addUser(name: String): Unit require Cap
-      def getUser(name: String): Option[User] require Cap
+      def addUser(name: String): Unit requires Cap
+      def getUser(name: String): Option[User] requires Cap
     }
 
     type Storage[A] = StateM[List[User], A]
     case class StateUserService() extends UserService[Storage] {
 
-      override def addUser(name: String): Unit require Storage = {
+      override def addUser(name: String): Unit requires Storage = {
         println("Adding user: " + name)
         val newUser = User(name)
         State[List[User]].update(newUser :: _)
       }
 
-      override def getUser(name: String): Option[User] require Storage =
+      override def getUser(name: String): Option[User] requires Storage =
         println("Getting user: " + name)
         State[List[User]].get().find(_.name == name)
     }
 
-    def program[F[_]](userService: UserService[F]): Option[User] require F = {
+    def program[F[_]](userService: UserService[F]): Option[User] requires F = {
       userService.addUser("John")
       userService.addUser("Jane")
       userService.getUser("John")