Что подразумевается под именем 'неизменяемые типы' и почему их именно так называют?