[ haddock ] Documentation for Utils.Suffix.
[ new ] Basic instances for Pretty.
[ refactor ] Pretty instances for Concrete.Name.
Merge branch 'maint-2.4.2' of github.com:agda/agda into maint-2.4.2
[ Issue 1292 ] Fixed.

Arguments *ending* in data qualify for structural descent (in
--without-K), not only data arguments.
[ Issue 1292 ] Test case.
[ Issue 1292 ] Size also qualifies for structural descent.
[ Issue 1292 ] Test case for Size-recursion --without-K.
[ Issue 1023 ] test case was missing.
[ Issue 1023 ] Test case for coinduction.
[ Issue 1023 ] CHANGELOG (should have been in 2.4.2).
Merge branch 'maint-2.4.2'
[ new ] Agda.Utils.Pretty.prettyShow
[ new ] Pretty instances for Abstract.Name.
[ refactor ] Use Pretty for A.Name.
[ clean ] Import ordering etc.
Merge branch 'maint-2.4.2'
[ Epic ] Using standard import abbrevs for Map and Set
[ Epic ] Added type signatures
[ Epic ] Using Pretty instead of Show in Compiler.hs