Add the type-alias Vector for TFVec to HardwareTypes, and don't export TFVec.TFVec...