Term.Rewriting.Definitions
data Equal a
evalEqual
data Match a
flattenMatch
matchWith
matchOnlyIf
data RRule a