Lazy macro for if-then-else of symbolic 4vecs.
(a4vec-ite test then else) --> ans
This is widely used in the implementation of our a4vec-operations. It is similar in spirit to ACL2::q-ite; we try to avoid evaluating then or else if we can resolve test.
