Add Not definition
Define Any/All quantifiers for Vect
Merge branch 'vect-quantifiers' of https://github.com/bitlisp/Idris-dev into bitlisp-vect-quantifiers

Conflicts:
	lib/base.ipkg