add a VarDecl member to Quantifier

The eventual aim here is to allow references to quantified variables to resolve
to a first class VarDecl.