Uniqueness of names in schemas

[KevinDCarlson]

Uniqueness of names in schemas

[epatters]

Having names be unique only within each hom-set is definitely a feature I've often found myself wanting. We might even have an old issue about this; I can't remember.

Implementation might be tricky because the assumption of global uniqueness of names in the schema is probably implicitly made all over the codebase.

[filonik-cmu]

Perhaps there is a way this could be implemented such that global uniqueness remains intact? I am thinking of some kind of "name mangling" that would automatically prepend the domain (which I am doing these days manually), i.e. turn :name into :Person_name. It's not pretty, but it might get the job done while minimizing changes to the codebase.