Vect: implement dot operator