fresh name generation

[bixuanzju]

Elaborator needs to generate fresh names

[brunocdsoliveira]

why is this issue (which is a blocker!) not solved yet ... It seems to me that adding fresh name generation should be something that takes 5 minutes to fix. Or is there something that I am missing?

[bixuanzju]

@zhiyuanshi Are you working on that?

[zhiyuanshi]

I'm working on that.

[bixuanzju]

@zhiyuanshi What is the status?