Automatically delete `Obj` and related on drop#144

Draft

nia-e wants to merge 8 commits intomasterfrom drop-obj

+234-188

Commits on Jun 21, 2023

Commits on Mar 1, 2024

broken; multiple mut
nia-e
committed

Commits on Mar 6, 2024