Minimal Support for Garbage Collection and Reachability-Based Leak Detection (revised)

Adds minimal garbage-collection support: declare_reachable, undeclare_reachable, pointer safety (removed in C++23). Core paper.