Fix subtyping to match DOT rule TDECL-<:

This is based on my understanding of the DOT rules but could be completely wrong/not what we want, feedback welcome.

Review by @odersky @DarkDimius @namin .