Ante: A new way to blend borrow checking and reference counting

Part of

Rust SeqLock And Concurrency Issues