I think if it comes to simple scalar types like strings this would result in a migration nightmare.

Hence I wouldn't include the cases like $x.$y, <>, etc at least by default.

Refs on the other hand should be immutable, because the result is always junk.

But I doubt we have the resources to implement that anyway.