Agda.Compiler.Treeless.NormalizeNames
normalizeNames