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