[ fix ] bug in injectivity which could surface with --copatterns.
[ comment ] fixed typo in Polarity.hs
[ Issue 1366 ] fixed by clearing 'Forced' in LHS telescope.
[ Issue 1366 ] test cases.
Merge branch 'maint-2.4.2'
[ CHANGELOG ] Listed bug fixes for Agda-2.4.2.2.
Merge branch 'maint-2.4.2'