Recognizer for 3vec (without a 4vec-p guard).
Macro: 3vec-p!
(defmacro 3vec-p! (x) (cons 'and (cons (cons '4vec-p (cons x 'nil)) (cons (cons '3vec-p (cons x 'nil)) 'nil))))
