removed some 'binding.pry'; added the 'arity' method to QuantExpr