A lot of this is nominally converted (from the PPC32 version); still some to be done, but we need real vinsns to get the vinsn->codegen mechanisms working.
