Smarter fresh name generator

[pedrotst]

Add a new variable to the environent fresh_ctx := alist Ced.Var nat that will count the number of occurrences of a variable in the term, now the fresh variable generator just have to check if it is mentioned, increment the count if it is and return the name appended with the corresponding count (if any).