[ 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'