Be a bit more liberal about allowing instance decls through.
In particular, allow this:

	instance C a b => C [a] [b] where ...

if we have

	class C a b | a -> b

This is an experimental feature. Furthermore it requires a 
little more work (which I have not yet done) to make improvement
work properly.