Be a bit more sensible about choosing external OccNames
Instead of chr_$wchr, we now just get $wchr. In general, when an OccName is system-generated, we leave it out of the final external name, preferring to use the name of the exported parent instead (which is necessarily a user-written name). Names should be no less deterministic, but should be shorter and more readable.
Showing with 19 additions and 6 deletions