Now we have good printing for JuMPDicts of vars, yes. I think we did this because we didn't.