All restrictions now invoke dj.GeneralRelvar/restrict rather than append restrictions directly.