allow human readable names for terms

[sbelizaire]

No description provided.

[Quantumplation]

I believe what apply_term does is wraps the program in an Apply, which passes term as the argument; this isn't what you want here.

Since traverse_uplc_with gives you a mutable reference to the term, you can just mutate the name on the existing term;

So, you'll need a hashmap<int, string>; any time you encounter something with a name attached, check if name.unique is in the hashmap; if so, use whatever name is there; otherwise generate a new name, and store it in the hashmap, then use that for the name.

I think the main place you'll use this is in vars and lambdas.

[Quantumplation]

From there, we can prepopulate the hashmap with things we know the user has re-mapped, and re-run the program through this process.