Clarify how EQUALP interacts with Unicode
In particular, equivalent characters are equal when case is ignored, but are not equal when case is honored.
Authored by: david_costanzo 2020-12-26
Parent: [r5572]
Child: [r5574]
