pub fn normalize(expr: &Expr) -> Expr
Normalize an expression to full normal form (no environment).
Reduces all beta-redexes, let-bindings, and under all binders.