Use vector-binary-instances for SV.Vector