Fix problem in unapply typing.

GADT bound resetting may only be applied when comparing
<pattern type> <: <expected type>, not when comparing the
other way around.

The fix revealed an error in a test case (t1048) which looks like a real error.
Therefore the test got moved to neg. 

Fixes #175 Review by @DarkDimius