eqPtrs: see through array cells; linear pointer collection; correct the "tsorted" claim#1030

nanavati wants to merge 4 commits into

B-Lang-org:mainB-Lang-org/bsc:mainfrom

nanavati:claude/eqptrs-array-cellsnanavati/bsc:claude/eqptrs-array-cellsCopy head branch name to clipboard