Bugfixes. Z3_string is now SML string.