build-string
build-string : (nat (nat -> char) -> string)
purpose:
(build-string n f) = (string (f 0) ... (f (- n 1)))
Intermediate Student Language