[ new ] Agda.Utils.Pretty.prettyShow
[ new ] Pretty instances for Abstract.Name.
[ refactor ] Use Pretty for A.Name.
[ clean ] Import ordering etc.