Term.Rewriting.Norm
norm'
nf'
nfSubstVFresh'
normSubstVFresh'
maybeNotNfSubterms