Clarify that arbitrary equality is supposed to be case insensitive

I do not agree that the spec today is unclear. I agree with the view that the proposal is not a mere clarification, but a real change.