> no, if I type std::totally_ordered, I mean "whatever the language is supposed to do for std::totally_ordered", and exactly nothing else

That's easy then, if you mean "whatever the language is supposed to do for std::totally_ordered" you could say what that is exactly, right?