Move the Basis trait inheritance from VecExt to AlgebraicVecExt.

The Basis trait cannot be implemented if the vector is not algebraic anyway.