Function normalize_whnf 

pub fn normalize_whnf(expr: &Expr) -> Expr

Compute weak head normal form and then fully normalize.