make-string

make-string : (nat char -> string)
purpose: to produce a string of given length<NL>from a single given character