That’s a good point. I suppose I was imagining something like internal-only operators that could be defined within the scope of a single module but not exported

That’s a good point. I suppose I was imagining something like internal-only operators that could be defined within the scope of a single module but not exported; though I suppose with any sufficiently large module with enough orthogonal pieces you’d still run into arcane and overly-terse operators.