Text this: Well-Scoped Locally Nameless Representation of Syntax