Allow lists of labels on terms and reduction rules