I feel like simple reference counting + linear types would be a really good approach in this case.