Изменяемый по сравнению с Касательно переменных с точки зрения получения

Мое поверхностное понимание переменных в f# предлагает, чтобы, объявляя, что переменная 'изменяема' и с помощью 'касательно' переменной по существу, оба сделали то же самое. Они - и различные способы решить ту же базовую проблему - ограниченный и структурированный допуск переменчивости на функциональном языке, не имея необходимость обращаться к Монаде IO. То, что существует техническое другое, было 'абстрагировано' моим пониманием.

1. Если это верно, почему закрытия не могут получить изменяемые переменные, но они могут получить касательно экземпляров?
2. В более общем плане, что техническое отличается между двумя формами, который позволяет это различие?
3. Какова цель с точки зрения дизайна языка представления двух ярлыков переменчивости, а не всего один?

Я сожалею, если это - multi-parter, но они все кажутся связанными.