string-ref
string-ref : (string nat -> char)
purpose: to extract the i-the character from a string