pub fn beta_head_normalize(expr: &Expr) -> Expr
Head beta normalization: reduce only the head of an application spine.