Could we store the coord_sys of the Vector arg for VectMul? It would tell us which frame its defined in more easily, and will help my code in ensuring position vectors are defined in a single frame.