> I don't see a painless way to print "+" instead of "operatorPlus" > (other than to tranlsate the name back). Maybe the right thing is to > keep the original name as "+", and do the renaming in the codegens. I don't mind; honestly, it's the line number more than the error that I'm interested in.