fix: print quantifier name when dumping XML

This turned out to be surprisingly easy to address as the name in a quantifier
is merely a string member, and not an ExprID as I had thought.

Github: closes #103 "AST dump: quantified expressions don't output name"