Explicitly print address if two variables have the same name

[junrushao-openai]

Currently in the printer, if we are printing two different variables with the same name, e.g. x, their name will be deduplicated as:

x0
x1

, which is indeed helpful, but not helpful enough because when deduplication happens multiple times, it would become:

x00
x011
x11

, which becomes less meaningful.

My proposal is that we could suffix the variables with their address, e.g.:

x_0x1234

[potatomashed]

Fixed by #66