pub fn beta_normalize(expr: &Expr) -> Expr
Perform beta reduction to normal form.
Repeatedly apply beta reduction until no more reductions are possible.