Add reference-like types

[Zettelkasten]

E.g. something like UniquePtr[T] should be used like if it was a T.
For this, we can add a function bind(x: UniquePtr[T]) -> Ref[T], which is called every time some UniquePtr[T] is collapsed.