Function normalize_fully 

pub fn normalize_fully(expr: &Expr, max_depth: usize) -> Expr

Normalize an expression fully, but only up to a given depth limit.

Stops descending past max_depth levels of binders/applications. Returns the partially normalized expression.