VectorFrame is now a subclass of FreeModuleBasis