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