אנגלית ⇄ רוסית +

subtyping with strengthening type invariants מתח
.תִכנו	создание подтипов на основе усиления инвариантов типов (Alex_Odeychuk)