Update juvix-stdlib to main (#3311)

Updates stdlib to current main
([f49b67bf7b9dde8ddfe7ec6bbd8b46044b8632ab](https://github.com/anoma/juvix-stdlib/tree/f49b67bf7b9dde8ddfe7ec6bbd8b46044b8632ab))

Author: janmasrovira

examples/milestone/TicTacToe/Logic/Square.juvix

@@ -18,7 +18,7 @@ type Square :=
 instance
 eqSquareI : Eq Square :=
   mkEq@{
-    eq (square1 square2 : Square) : Bool :=
+    isEqual (square1 square2 : Square) : Bool :=
       case square1, square2 of
         | empty m, empty n := m == n
         | occupied s, occupied t := s == t

examples/milestone/TicTacToe/Logic/Symbol.juvix

@@ -13,7 +13,7 @@ type Symbol :=
 instance
 eqSymbolI : Eq Symbol :=
   mkEq@{
-    eq (sym1 sym2 : Symbol) : Bool :=
+    isEqual (sym1 sym2 : Symbol) : Bool :=
       case sym1, sym2 of
         | O, O := true
         | X, X := true

juvix-stdlib

@@ -2,7 +2,6 @@
 module test069;
 
 import Stdlib.Data.Nat open hiding {Ord; mkOrd};
-import Stdlib.Data.Nat.Ord as Ord;
 import Stdlib.Data.Pair as Ord;
 import Stdlib.Data.Bool.Base open;
 import Stdlib.Trait.Ord open using {Ordering; LessThan; Equal; GreaterThan; isLessThan; isGreaterThan};

tests/Anoma/Compilation/positive/test069.juvix

@@ -2,7 +2,6 @@
 module test071;
 
 import Stdlib.Data.Nat open hiding {Ord; mkOrd};
-import Stdlib.Data.Nat.Ord as Ord;
 import Stdlib.Data.Pair as Ord;
 import Stdlib.Data.Bool.Base open;
 import Stdlib.Trait.Ord open using {Ordering; LessThan; Equal; GreaterThan; isLessThan; isGreaterThan};

tests/Anoma/Compilation/positive/test071.juvix

@@ -2,7 +2,6 @@
 module test069;
 
 import Stdlib.Data.Nat open hiding {Ord; mkOrd};
-import Stdlib.Data.Nat.Ord as Ord;
 import Stdlib.Data.Pair as Ord;
 import Stdlib.Data.Bool.Base open;
 import Stdlib.Trait.Ord open using {Ordering; LessThan; Equal; GreaterThan; isLessThan; isGreaterThan};

tests/Casm/Compilation/positive/test069.juvix

@@ -2,7 +2,6 @@
 module test071;
 
 import Stdlib.Data.Nat open hiding {Ord; mkOrd};
-import Stdlib.Data.Nat.Ord as Ord;
 import Stdlib.Data.Pair as Ord;
 import Stdlib.Data.Bool.Base open;
 import Stdlib.Trait.Ord open using {Ordering; LessThan; Equal; GreaterThan; isLessThan; isGreaterThan};

tests/Casm/Compilation/positive/test071.juvix

@@ -2,7 +2,6 @@
 module test069;
 
 import Stdlib.Data.Nat open hiding {Ord; mkOrd};
-import Stdlib.Data.Nat.Ord as Ord;
 import Stdlib.Data.Pair as Ord;
 import Stdlib.Data.Bool.Base open;
 import Stdlib.Trait.Ord open using {Ordering; LessThan; Equal; GreaterThan; isLessThan; isGreaterThan};

tests/Compilation/positive/test069.juvix

@@ -2,7 +2,6 @@
 module test071;
 
 import Stdlib.Data.Nat open hiding {Ord; mkOrd};
-import Stdlib.Data.Nat.Ord as Ord;
 import Stdlib.Data.Pair as Ord;
 import Stdlib.Data.Bool.Base open;
 import Stdlib.Trait.Ord open using {

tests/Compilation/positive/test071.juvix

@@ -8,7 +8,7 @@ import Stdlib.Data.Pair open;
 import Stdlib.Trait.Eq open;
 import Stdlib.System.IO open;
 
-syntax alias isEqual := Eq.eq;
+syntax alias isEqual := Eq.isEqual;
 
 type NTree :=
   | NLeaf