Function normalize_env 

pub fn normalize_env(expr: &Expr, env: &Environment) -> Expr

Normalize an expression with an environment.

Also unfolds definitions according to the environment.