Box deletions now also delete related edges

just as they used to until I screwed something up while rewriting and
“improving” the engine.