In DSL space, that means @ could be used as the inverse of ** by those
who want to discard any ties to its use in numerics. Considering it
now, I agree this would indeed open up some design space.

I don't see anything disastrously wrong for that in matrix/vector use,
though my intuition on this is very limited. I believe this gives
results like the "strong right" option, no?