Типы производных значений и механизмы языкового расширения