fix 19.4.5

[matonix]

包摂規則導入で型付けから部分型関係の前提を消せるのは、T-Invk, T-New, T-UCast。
一方、T-DCast、T-SCastは残さないといけない