[ debug ] Some more debug printing (CheckInternal/Record)
[ clean ] removed an unused hiding in an import.
[ new ] InstantiateFull instances for Substitution and LHSResult.
[ tiny refactor ] in LHS.hs (e.g. removed a shadowing).
[ Issue 1332 ] Workaround.

The underlying problem is an inconsistent handling of hiding information
in Defs arising from module applications.  This fix circumvents it
showing up in checkInternal, which is picky.
[ Issue 1332 ] Test case.
[ Issue 1332 ] Added to CHANGELOG.
[ ghc-compat ] Older versions of containers do not have toDescList.
Merge branch 'maint-2.4.2'

Conflicts:
	test/succeed/Issue1332.agda
Merge branch 'maint-2.4.2'