pub fn simplify(goal: &Node, rules: &[Node]) -> Result<Node, Diagnostic>
Repeatedly apply rules until no rule changes the term.
rules