In fact, I already have a solution work around for this; however, it is not yet fully implemented.
The solution is to use the differential forms and tensor fields… this is what I am working on implementing with the Grassmann package, for which the Leibniz is a mere prototype. Further development to fix this issue will be happening with Grassmann but it is not ready yet, as I have many other things in life.
It is not too difficult to implement and I already know how to do it, it’s simply a matter of taking the time to do it when I also have lots of other features and things in life to worry about too. The Grassmann package is going to have this built in properly. Not sure yet what I will do with maintaining the Leibniz package in the future… remember I am doing this work for free, please consider donating at liberapay.com/chakravala