В чем заключается уникальность и особенности типов со значением в языке программирования?