SMS dit: Tractability beyond β-acyclicity for conjunctive queries with negation