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