Generalizing Consistency and other Constraint Properties to Quantified Constraints