Added freshName function to make local variables more readable

This makes local variables, method arguments and labels use a per-method freshName generator, rather than always appending the long annoying symbol ID. This makes the generated code slightly shorter, but significantly more readable.