[ fix ] Choose unique concrete names when unquoting.
Merge branch 'master' of https://github.com/agda/agda