Losen the Constraints on the Partial Trait

Partial trait relied upon

import Stdlib.Data.String.Base open;

which indirectly relies upon list, we loosen the restriction to just
rely on the String type itself.

This lets us move some functions around to the base module

Author: mariari

Stdlib/Debug/Fail.juvix

@@ -1,6 +1,6 @@
 module Stdlib.Debug.Fail;
 
-import Stdlib.Data.String.Base open;
+import Juvix.Builtin.V1.String open;
 
 --- Exit the program with an error message.
 builtin fail

Stdlib/Trait/Partial.juvix

@@ -1,6 +1,6 @@
 module Stdlib.Trait.Partial;
 
-import Stdlib.Data.String.Base open;
+import Juvix.Builtin.V1.String open;
 import Stdlib.Debug.Fail as Debug;
 
 trait