Enishi Concurrency (Own+CFA)
Phase D: Own+CFA Final - Ownership types and capability functor composition
Merkle DAG: enishi_concur -> ownership_types, cap_functor, txn_safety
Phase D: Own+CFA Final - Ownership types and capability functor composition
Merkle DAG: enishi_concur -> ownership_types, cap_functor, txn_safety