fuse away the embedding into the mixed vector type with RULES