[Axiom-developer] concatenate and bit-vector

[daly]

Steve, Gaby,

The semantics of concat are those of vmlisp.

It might be possible to prove that concat is never called with
bit-vector semantics. The subtle part is to prove that it can't
occur in generated code (e.g. algebra).

Tim