[ refactor ] Generalized some instances from Elim to Elim'.
[ Issue 1386 ] Fixed by precise analysis of offending rigids in neutral
pruning candidates.
[ Issue 1386 ] Test case.
Merge branch 'maint-2.4.2'
[ Issue 1386 ] ExtLam case removed to fix merge into master.
[ issue 1293 ] Removed note

See https://github.com/agda/agda/commit/58a352f4b9bf0e81a2501b8e1b31a20bc2bbe627#commitcomment-8866476.
Merge branch 'maint-2.4.2'
Bump hashtables upper version bounds
Merge pull request #23 from RyanGlScott/maint-2.4.2

Bump hashtables upper version bounds
Merge remote-tracking branch 'origin/maint-2.4.2'
[ .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.