We don't need types that mandate the same policy for every value, we need "this value is immutable" and then maybe hints about whether copying or aliasing is li

We don't need types that mandate the same policy for every value, we need "this value is immutable" and then maybe hints about whether copying or aliasing is likely to perform better at each call site.