CVC parser infix/mixfix operators for strings