Use readable variable names

We should consider making the backends use human-readable names in generated code, based on variable names in the source code, for the variables they emit instead of opaque numbers. An easy way to start in this direction would be to append the current numbers to the original variable names to guarantee that naming conflicts cannot occur.