I was just thinking about this. Seems like it could also be great if the type system could make a distinction between vectors and dual vectors, alleviating "yo

I was just thinking about this. Seems like it could also be great if the type system could make a distinction between vectors and dual vectors, alleviating "you got the wrong axis" errors. But maybe for something like that you really need vector space objects like in Sage.