English ⇄ Russian +

well-typed values stresses
progr.	правильно типизированные значения (типов ssn)
well-typed value
progr.	правильно типизированное значение (ssn)