Simplify hashing of rules
Small cleanup in String::operator==