Function reduce_n_steps 

pub fn reduce_n_steps(expr: &Expr, n: usize) -> Expr

Apply exactly n reduction steps to the expression.

Returns the result after at most n steps. If the expression is already in normal form before n steps, returns early.