Data.Rewriting.FirstOrder

matchM

solveTerm

solveSubst

match

substitute

rewrite

applyFirst

bottomUp

topDown