Adapt to new scoping rules (#162)

- This should be merged after anoma/juvix#3275
is merged into Juvix

Author: janmasrovira

Stdlib/Data/Field/Base.juvix

@@ -1,8 +1,8 @@
 module Stdlib.Data.Field.Base;
 
 import Stdlib.Data.Fixity open;
-import Stdlib.Data.Nat.Base open;
-import Stdlib.Data.Int.Base open hiding {toNat};
+import Stdlib.Data.Nat.Base open hiding {+; *};
+import Stdlib.Data.Int.Base open hiding {toNat; +; -; *};
 import Stdlib.Data.Bool.Base open;
 
 builtin field

Stdlib/Data/Map.juvix

@@ -3,7 +3,7 @@ module Stdlib.Data.Map;
 import Stdlib.Data.Pair open;
 import Stdlib.Data.Maybe open;
 import Stdlib.Data.Result open;
-import Stdlib.Data.List open;
+import Stdlib.Data.List open hiding {all; any; filter; partition};
 import Stdlib.Data.Nat open;
 import Stdlib.Data.Bool open;
 

Stdlib/Data/Set.juvix

@@ -15,7 +15,7 @@ import Stdlib.Data.Nat open;
 import Stdlib.Data.Int open;
 import Stdlib.Data.Bool open;
 import Stdlib.Data.Pair open;
-import Stdlib.Data.List open using {List; nil; ::; filter; ++; catMaybes};
+import Stdlib.Data.List open using {List; nil; ::; ++; catMaybes};
 import Stdlib.Data.String open;
 import Stdlib.Trait.Foldable open hiding {foldr; foldl};
 import Stdlib.Function open;