[ refactor ] better combinators prettyHiding and prettyRelevance.
[ new ] instances for Suggest.
[ comment ] Fixed comment of Abstract.TypedBindings.
[ refactor ] LensHiding for A.LamBinding and A.TypedBindings.