Added (^/^): vector divided by vector, if a unique basis exists

Does it make sense to add this to Data.Basis?