Vect quantifiers

Define Any/All and associated decision procedures for Vect