Fix logic when comparing var/def bindings with val refinements

[odersky]

We always widened def to val, which means it made no difference in a comparison

{ val/var/def x: T }  <:  { val/def x: T}

which kinds the bindings were. That clearly overlooks something important.