Code for dealing with @-vectors. This is pretty incomplete, and contains a bunch of duplication from the code for ~-vectors.