ToString methods

lib/Base/Char.fram

@@ -13,10 +13,11 @@ pub method lt    = (extern dbl_ltInt  : Char -> Char -> Bool)
 pub method ge    = (extern dbl_geInt  : Char -> Char -> Bool)
 pub method le    = (extern dbl_leInt  : Char -> Char -> Bool)
 
+pub method toString = (extern dbl_chrToString : Char -> String)
+
+pub method unescaped = (extern dbl_unescapedChrToString : Char -> String)
+
 {## Escapes a character for inclusion in a string literal.
 
   Additional quotes are not added around the result. ##}
 pub method escape = (extern dbl_chrEscape : Char -> String)
-
-pub method toString {?fmt : Unit} (self : Char) =
-  (extern dbl_chrToString : Char -> String) self

lib/Prelude.fram

@@ -37,6 +37,8 @@ pub let chr {~onError : Unit ->[_] Char} (n : Int) =
   else
     ~onError ()
 
+pub let strListCat = (extern dbl_strListCat : List String -> String)
+
 pub let printStrLn = extern dbl_printStrLn : String ->[IO] Unit
 pub let printStr   = extern dbl_printStr   : String ->[IO] Unit
 pub let printInt   = extern dbl_printInt   : Int ->[IO] Unit

lib/Testing.fram

@@ -126,7 +126,7 @@ let testLoggerH =
   Wraps test execution with required handlers.
 #}
 let mkTestCase
-    {~__file__, ~__line__, ~suitePath : Path}
+    {~__file__, ~__line__, ~__modulePath__, ~suitePath : Path}
     (name : String)
     (f : { E_TL : effect
          , E_TT : effect
@@ -310,7 +310,7 @@ pub let testSuite
 
 ## Creates a test case.
 pub let testCase
-    {~__file__, ~__line__, ~suitePath : Path}
+    {~__file__, ~__line__, ~__modulePath__, ~suitePath : Path}
     name
     (f : { E_TL
         , E_TT