Function head_normal_form 

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

Reduce an expression to head-normal form without environment (no delta-unfolding).

Head-normal form means the outermost expression is not a redex:

• Not a beta-redex (no (lam ...) arg)
• Not a let-binding at the top level