> so that its sole purpose is comparing modulo the identity of bound symbols.    agree. And if functions would never use Dummy except internally, picking a canonical, non-clashing symbol instead, that would make testing without strings easier. e.g. you are able to write the tests in this PR using `Symbol(_0)` because that symbol is not a Dummy.