Persistence 2: Body Captures

TODO: Renamed this to ⟦pin⟧ |etc.|

TODO