[ .mailmap ] Added Ryan Scott.
Merge branch 'maint-2.4.2'
[ fix ] Keep the right Range on A.DataDef and A.RecDef
Merge remote-tracking branch 'origin/maint-2.4.2'

Conflicts:
	src/full/Agda/Syntax/Concrete/Definitions.hs
[ caching ] Print out the highlighting info of the decls not retypechecked
[ refactor ] better combinators prettyHiding and prettyRelevance.
[ new ] instances for Suggest.
[ comment ] Fixed comment of Abstract.TypedBindings.
[ refactor ] LensHiding for A.LamBinding and A.TypedBindings.
[ undo ] the move of fail/Inference-of-implicit... to succeed.
Merge branch 'maint-2.4.2'

Conflicts:
	src/full/Agda/Syntax/Abstract.hs
Merge branch 'maint-2.4.2'
[ new ] added non-maybe version of coinductionKit
[ coinduction ] define generated \sharps using copatterns

This removes the need for them to be Delayed, and also means
we never reduce them to the primitive \sharp, which saves some
trouble when there's sharing.