sig val norm : Rule.RulSet.t -> Term.term -> Term.term end