Fix strings-exp setting.
CVC parser infix/mixfix operators for strings