The Different Kinds of Reference Types That Have Different Semantics

There are different kinds of references that have the different semantics. The most complex reference type is called a ref and it can only be changed inside a transaction. So this is a nice system in that you've moved everything into pure functions. And they all look precisely the same, pass a function to the reference.