bugfixing
removed obsolete reference to purity
rename repr to name
just use TLS interner
removed some interner fields
adding fresh_name_fn (merge with something later)
remove unused cx's