A proposal to introduce ways to differentiate symbols - View it on GitHub