Well-Scoped Locally Nameless Representation of Syntax (ArXiv cs.LO Recent Papers, 2026)