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