[ Issue 1360 ] Fixed by correct abstraction over free vars in InstV.
[ Issue 1360 ] interaction test.
Merge branch 'maint-2.4.2'
[ Issue 1353 ] is fixed on master as well (with 1360).