Recognizer for 2vecxes, without even a 4vec-p guard.
Macro: 2vecx-p!
(defmacro 2vecx-p! (x) (cons 'and (cons (cons '4vec-p (cons x 'nil)) (cons (cons '2vecx-p (cons x 'nil)) 'nil))))
