Anglais ⇄ Russe +

depth subtyping contraintes
progr.	подтипизация в глубину (подразумевает, что типы полей записи могут подменяться на их подтипы Alex_Odeychuk)