List of strings to string

#include "share/atspre_staload.hats"

staload "libats/ML/SATS/list0.sats"

implement main0 () = () where
{
    val str = stringlst_concat($list{string}("H", "e", "l", "l", "o"))
    val () = println! (str)
    val () = strptr_free (str)
}