Produce type lambda param names.
Produce type lambda param names.
The name is always appended with a unique number for the compilation unit to prevent shadowing of names in a nested context.
If useAsciiNames is set, the legacy names (X_kp0$, X_kp1$, etc) will be used.
Otherwise:
The first parameter (i=0) will be α$, the second β$, and so on. After producing ω$ (for i=24), the letters wrap back around with a number appended.