[feature request] Locally nameless

[lengyijun]

When studying cslib, I want to do experiments with name variables, x y ...

[ljedrz]

I'm not sure I understand; you should be able to parse terms with named variables - they will just be renamed automatically, because the library is internally based on De Bruijn indices.