We dont' want to automatically rename variables in the github action, so this is somethign that should be done carefully.
The other issue is that there will be many places where the unicode variables are used by underlying pacakages instead of our own variable names, so we will need to apply this and check the results carefully.
After, or during, #250 we can apply the formatting globally. A few things: