Add automatic implementation of VectorSpace.