Fix subtyping to match DOT rule TDECL-<: