Add domain restriction and deletion to relations (reusing \\ syntax).