refactor Malachite::Vector