minor fix
improve type inference for string %/+/* operations and use more direct C-API calls for these unicode operations