OOI why did you go with RC at the lattice bottom rather than generational refs? Not sure how in touch you are with the author of Vale?

What would be good is if effects are used to discharge the ownership obligations, that should dovetail well in Ante. BTW I appreciate the clear effects handling in Ante, very nice!