**I do not want a vote** , however, I think that "the decision makers" should read the thread and see if any arguments stand out to them or change their view and do what they feel best. That being said, I like @LibMan's third suggested option...
* The compiler should generate a warning, but treat them as same identifier. That gives developers the freedom to focus on functional code but give the most anal retentive programmers the ability to quickly find and correct mismatched names.