[ refactor ] packed up results of checkLeftHandSide in a datatype

This is in preparation for proper postponing of lhs checking. Still a lot
of work to be done though.
[ test ] test case for postponing lhs (disabled at the moment)
Merge remote-tracking branch 'maint/maint-2.4.0'
Merge branch 'master' of github.com:agda/agda