Function normalize 

pub fn normalize(
    expr: &TLExpr,
    system: &RewriteSystem,
    max_steps: usize,
) -> Option<TLExpr>

Compute normal form of an expression (if it exists).

Returns None if no normal form is reached within max_steps.