[ Issue 1360 ] Fixed by correct abstraction over free vars in InstV.
[ Issue 1360 ] interaction test.