pub fn beta_normal_order(expr: &Expr) -> Expr
Normal-order beta reduction.
Reduces the leftmost, outermost redex first. This strategy is guaranteed to terminate if any strategy terminates.