Define Any/All quantifiers for Vect