My first guess would be autovivification: $h{$_} behaves differently in lvalue and rvalue contexts,...

True, but currently the usage of X // Y as an lvalue results in a compile error. I'm not sure if this is any different in overloading.

Update:
One overlooked detail:

Also any classes that provide overloading of these operators...

Logical operators cannot be overloaded.